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