| Teaching temporal logics to neural networks C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner arXiv preprint arXiv:2003.04218, 2020 | 53 | 2020 |
| The 3rd reactive synthesis competition (SYNTCOMP 2016): Benchmarks, participants & results S Jacobs, R Bloem, R Brenguier, A Khalimov, F Klein, R Könighofer, ... arXiv preprint arXiv:1609.00507, 2016 | 19 | 2016 |
| Generating Symbolic Reasoning Problems with Transformer GANs JU Kreber, C Hahn arXiv preprint arXiv:2110.10054, 2021 | 5 | 2021 |
| Generating and Solving Temporal Logic Problems with Adversarial Transformers JU Kreber Saarland University, 2022 | | 2022 |
| Deep Learning for Temporal Logics F Schmitt, C Hahn, JU Kreber, MN Rabe, B Finkbeiner Unpublished, 2021 | | 2021 |
| GENERATING TEMPORAL LOGICAL FORMULAS WITH TRANSFORMER GANS JU Kreber, C Hahn | | |
