Peter Bezdek

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 2

Top Topics

Linear Time Temporal Logic

Transition Systems

Theorem Proving

Top Venues

J. Log. Algebraic Methods Program.

Publications

Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat
On clock-aware LTL parameter synthesis of timed automata. J. Log. Algebraic Methods Program. 99 (2018)
Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná
LTL Parameter Synthesis of Parametric Timed Automata. SEFM (2016)
Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jirí Srba
Language Emptiness of Continuous-Time Parametric Timed Automata. ICALP (2) (2015)
Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba
Language Emptiness of Continuous-Time Parametric Timed Automata. CoRR (2015)
Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná
On Clock-Aware LTL Properties of Timed Automata. ICTAC (2014)
Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná
LTL Model Checking of Parametric Timed Automata. CoRR (2014)