Antonia Lechner

According to our database, Antonia Lechner authored at least 4 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Model Checking Flat Freeze LTL on One-Counter Automata.

Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell

Log. Methods Comput. Sci., 2018

2016

Extensions of Presburger arithmetic and model checking one-counter automata.

Antonia Lechner

PhD thesis, 2016

2015

Synthesis Problems for One-Counter Automata.

Antonia Lechner

Proceedings of the Reachability Problems - 9th International Workshop, 2015

On the Complexity of Linear Arithmetic with Divisibility.

Antonia Lechner, Joël Ouaknine, James Worrell

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015