The following pages link to Amélie Stainer (Q2018057):
Displaying 10 items.
- A game approach to determinize timed automata (Q2018058) (← links)
- Synthesising succinct strategies in safety games with an application to real-time scheduling (Q2636511) (← links)
- Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic (Q2891448) (← links)
- A Game Approach to Determinize Timed Automata (Q3000613) (← links)
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- Emptiness and Universality Problems in Timed Automata with Positive Frequency (Q3012924) (← links)
- Off-line test selection with test purposes for non-deterministic timed automata (Q3166229) (← links)
- Synthesising Succinct Strategies in Safety and Reachability Games (Q3447698) (← links)
- Frequencies in Forgetful Timed Automata (Q4649400) (← links)
- Reachability of Communicating Timed Processes (Q4910413) (← links)
