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
| Title | Authors | Published in |
|---|---|---|
|
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm |
León Bohn, Christof Löding |
46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) DOI: doi.org/10.4230/LIPIcs.MFCS.2021.20 |