Peter Bezděk

2016

Peter Bezděk, Nikola Beneš, Jiří Barnat, and Ivana Černá:
LTL Parameter Synthesis of Parametric Timed Automata,
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, 2016, 172–187. [bibtex, url]

2014

Peter Bezděk, Nikola Beneš, Jiří Barnat, and Ivana Černá:
LTL Model Checking of Parametric Timed Automata,
MEMICS 2014, NOVPRESS, 2014, 28-39. [bibtex]

Peter Bezděk, Nikola Beneš, Vojtěch Havel, Jiří Barnat, and Ivana Černá:
On Clock-Aware LTL properties of Timed Automata,
International Colloquium on Theoretical Aspects of Computing (ICTAC), Springer, 2014, volume 8687 of LNCS, 46–60. [bibtex]