Peter Bezdek

According to our database, Peter Bezdek authored at least 5 papers between 2014 and 2018.

Collaborative distances:

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

2018

On clock-aware LTL parameter synthesis of timed automata.

Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat

J. Log. Algebraic Methods Program., 2018

2016

LTL Parameter Synthesis of Parametric Timed Automata.

Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2015

Language Emptiness of Continuous-Time Parametric Timed Automata.

Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014

LTL Model Checking of Parametric Timed Automata.

Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná

CoRR, 2014

On Clock-Aware LTL Properties of Timed Automata.

Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014