The following pages link to Synthia (Q24856):
Displaying 7 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (Q2814624) (← links)
- Template-Based Controller Synthesis for Timed Systems (Q2894283) (← links)
- A Model for Industrial Real-Time Systems (Q5172641) (← links)
- The Power of Proofs: New Algorithms for Timed Automata Model Checking (Q5500559) (← links)