UPPAAL TIGA

swMATH12913MaRDI QIDQ24836FDOQ24836

Author name not available (Why is that?)

Cited In (45)

• A survey of timed automata for the development of real-time systems
• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
• Nash equilibria for reachability objectives in multi-player timed games
• Dynamic controllability via timed game automata
• PuRSUE -- from specification of robotic environments to synthesis of controllers
• Zone-based verification of timed automata: extrapolations, simulations and what next?
• Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
• Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
• Expected reachability-time games
• Timed I/O automata: a complete specification theory for real-time systems
• Synthesis of fault-tolerant embedded systems using games: from theory to practice
• Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control
• Timed Control with Observation Based and Stuttering Invariant Strategies
• Permissive controller synthesis for probabilistic systems
• Controllers with minimal observation power (application to timed systems)
• Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
• Modal event-clock specifications for timed component-based design
• Formal system verification. State-of the-art and future trends
• Safe and optimal adaptive cruise control
• Formal verification of mobile robot protocols
• Methodologies for specification of real-time systems using timed I/O automata
• Computing equilibria in two-player timed games via turn-based finite games
• Combining symbolic representations for solving timed games
• A turn-based approach for qualitative time concurrent games
• Model checking for probabilistic timed automata
• Verification, performance analysis and controller synthesis for real-time systems
• Measuring Permissivity in Finite Games
• A game approach to the parametric control of real-time systems
• Logical time control of concurrent DES
• New results on timed specifications
• Controller synthesis for dynamic hierarchical real-time plants using timed automata
• Template-based controller synthesis for timed systems
• Efficient On-the-Fly Algorithms for Partially Observable Timed Games
• A model for industrial real-time systems
• Timed-automata abstraction of switched dynamical systems using control invariants
• Collaborative models for autonomous systems controller synthesis
• Optimal and robust controller synthesis using energy timed automata with uncertainty
• Symbolic model checking in non-Boolean domains
• PRISM-games: a model checker for stochastic multi-player games
• Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
• Robust synthesis for real-time systems
• Synthesis of bounded integer parameters for parametric timed reachability games
• Verification and performance evaluation of timed game strategies

This page was built for software: UPPAAL TIGA