Peter Bezdek

According to our database1, Peter Bezdek authored at least 4 papers between 2014 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
On clock-aware LTL parameter synthesis of timed automata.
J. Log. Algebr. Meth. Program., 2018

2016
LTL Parameter Synthesis of Parametric Timed Automata.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2015
Language Emptiness of Continuous-Time Parametric Timed Automata.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014
On Clock-Aware LTL Properties of Timed Automata.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014


  Loading...