Cited in
(23)- A survey of timed automata for the development of real-time systems
- PuRSUE -- from specification of robotic environments to synthesis of controllers
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
- The Power of Proofs: New Algorithms for Timed Automata Model Checking
- Rabbit
- TAXYS
- DREAM Tool
- LearnLib
- McAiT
- LinAIG
- CoVer
- Tempo
- CMC
- UPPAAL TIGA
- REDLIB
- Modechart
- ITS-Tools
- BluSTL
- PuRSUE
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
- Template-based controller synthesis for timed systems
- A model for industrial real-time systems
- DejaVu
This page was built for software: Synthia
