swMATH12933MaRDI QIDQ24856FDOQ24856
Author name not available (Why is that?)
Official website: https://www.react.uni-saarland.de/tools/synthia/
Cited In (22)
- 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
- 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
