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
• Verification, Performance Analysis and Controller Synthesis for 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
• Dynamic controllability via timed game automata
• New Results on Timed Specifications
• PuRSUE -- from specification of robotic environments to synthesis of controllers
• Template-Based Controller Synthesis for Timed Systems
• 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
• Symbolic Model Checking in Non-Boolean Domains
• Expected reachability-time games
• 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
• Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
• Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
• Modal event-clock specifications for timed component-based design
• Formal verification of mobile robot protocols
• Nash Equilibria for Reachability Objectives in Multi-player Timed Games
• Timed I/O automata
• A Model for Industrial Real-Time Systems
• Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice
• Permissive Controller Synthesis for Probabilistic Systems
• A turn-based approach for qualitative time concurrent games
• PRISM-games: A Model Checker for Stochastic Multi-Player Games
• Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games
• Model checking for probabilistic timed automata
• Measuring Permissivity in Finite Games
• A game approach to the parametric control of real-time systems
• Logical time control of concurrent DES
• Verification and Performance Evaluation of Timed Game Strategies
• Methodologies for Specification of Real-Time Systems Using Timed I/O Automata
• Safe and Optimal Adaptive Cruise Control
• Controller synthesis for dynamic hierarchical real-time plants using timed automata
• Efficient On-the-Fly Algorithms for Partially Observable Timed Games
• Controllers with Minimal Observation Power (Application to Timed Systems)
• Timed-automata abstraction of switched dynamical systems using control invariants
• Combining Symbolic Representations for Solving Timed Games
• Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games
• Collaborative models for autonomous systems controller synthesis
• Optimal and robust controller synthesis using energy timed automata with uncertainty
• Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
• Formal System Verification
• Robust synthesis for real-time systems

This page was built for software: UPPAAL TIGA