Skip to main content

3 Result(s)

within Peter Bezděk Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    LTL Parameter Synthesis of Parametric Timed Automata

    The parameter synthesis problem for parametric timed automata is undecidable in general even for very simple reachability properties. In this paper we introduce restrictions on parameter valuations under which...

    Peter Bezděk, Nikola Beneš, Jiří Barnat… in Software Engineering and Formal Methods (2016)

  2. No Access

    Chapter and Conference Paper

    Language Emptiness of Continuous-Time Parametric Timed Automata

    Parametric timed automata extend the standard timed automata with the possibility to use parameters in the clock guards. In general, if the parameters are real-valued, the problem of language emptiness of such...

    Nikola Beneš, Peter Bezděk, Kim G. Larsen… in Automata, Languages, and Programming (2015)

  3. No Access

    Chapter and Conference Paper

    On Clock-Aware LTL Properties of Timed Automata

    We introduce the Clock-Aware Linear Temporal Logic (CA-LTL) for expressing linear time properties of timed automata, and show how to apply the standard automata-based approach of Vardi and Wolper to check for the...

    Peter Bezděk, Nikola Beneš, Vojtěch Havel… in Theoretical Aspects of Computing – ICTAC 2… (2014)