Pages that link to "Item:Q1041291"
From MaRDI portal
The following pages link to Decision problems for lower/upper bound parametric timed automata (Q1041291):
Displaying 13 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Parametric metric interval temporal logic (Q483304) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
- On completeness of liveness synthesis for parametric timed automata (Extended Abstract) (Q2237334) (← links)
- Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
- Language Preservation Problems in Parametric Timed Automata (Q2945580) (← links)
- Language Emptiness of Continuous-Time Parametric Timed Automata (Q3449466) (← links)
- (Q5111627) (← links)
- Distributed parametric model checking timed automata under non-zenoness assumption (Q6108439) (← links)
