Pages that link to "Item:Q685111"
From MaRDI portal
The following pages link to Minimum and maximum delay problems in real-time systems (Q685111):
Displayed 18 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Parametric metric interval temporal logic (Q483304) (← links)
- Optimal paths in weighted timed automata (Q596026) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- Folk theorems on the determinization and minimization of timed automata (Q845728) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- On a class of timer hybrid systems reducible to finite state automata (Q1842525) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Reachability in two-clock timed automata is PSPACE-complete (Q2347796) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- Model checking restricted sets of timed paths (Q2503042) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← links)
- An Introduction to Timed Automata (Q5496927) (← links)
- Verifying time Petri nets by linear programming (Q5934289) (← links)