Synthia
From MaRDI portal
Software:24856
swMATH12933MaRDI QIDQ24856FDOQ24856
Author name not available (Why is that?)
Cited In (7)
- 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
- 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
This page was built for software: Synthia
