Antonia Lechner

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 3

Top Topics

Automated Verification

Linear Time Temporal Logic

Top Venues

Publications

Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
Model Checking Flat Freeze LTL on One-Counter Automata. Log. Methods Comput. Sci. 14 (4) (2018)
Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
Model Checking Flat Freeze LTL on One-Counter Automata. CoRR (2016)
Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
Model Checking Flat Freeze LTL on One-Counter Automata. CONCUR (2016)
Antonia Lechner
Synthesis Problems for One-Counter Automata. RP (2015)
Antonia Lechner, Joël Ouaknine, James Worrell
On the Complexity of Linear Arithmetic with Divisibility. LICS (2015)