Person
Leon Bohn
M. Sc. RWTH
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Address
Building: Erweiterungsbau 1
Room: 4117b
Ahornstr. 55
52074 Aachen
Office Hours
- by appointment
Research Interests
Publications
| Source | Authors and Contributors |
|---|---|
| [Preprint] Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm, 2021 [DOI: 10.18154/RWTH-2022-11204] | Bohn, Leon Löding, Christof (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm In: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) / Herausgeber: Filippo Bonchi, Simon J. Puglisi, 20:1-20:18, 2021 [DOI: 10.4230/LIPIcs.MFCS.2021.20] | Bohn, Leon Löding, Christof (Corresponding author) |