Pages that link to "Item:Q1041291"
From MaRDI portal
The following pages link to Decision problems for lower/upper bound parametric timed automata (Q1041291):
Displayed 5 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)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)