The following pages link to (Q2769586):
Displaying 17 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour (Q507600) (← links)
- Extended beam search for non-exhaustive state space analysis (Q652163) (← links)
- On using priced timed automata to achieve optimal scheduling (Q853729) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423) (← links)
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (Q903501) (← links)
- Model-checking precision agriculture logistics: the case of the differential harvest (Q2220343) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- Optimal infinite scheduling for multi-priced timed automata (Q2475633) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- Exact acceleration of real-time model checking (Q2842578) (← links)
- Improving Search Order for Reachability Testing in Timed Automata (Q2945591) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Survey on Directed Model Checking (Q3614878) (← links)
- On the Supports of Recognizable Timed Series (Q3648835) (← links)
- Monte Carlo tree search for priced timed automata (Q6160783) (← links)
