Synthia

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
• Template-Based Controller Synthesis for Timed Systems
• Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
• The Power of Proofs: New Algorithms for Timed Automata Model Checking
• A Model for Industrial Real-Time Systems
• Controller synthesis for dynamic hierarchical real-time plants using timed automata

This page was built for software: Synthia