Person

Leon Bohn

M. Sc. RWTH
Leon Bohn
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Address

Building: Erweiterungsbau 1

Room: 4117b

Ahornstr. 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80 21708

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