UPPAAL TIGA
From MaRDI portal
Software:24836
No author found.
Related Items (45)
Formal verification of mobile robot protocols ⋮ Expected reachability-time games ⋮ New Results on Timed Specifications ⋮ Template-Based Controller Synthesis for Timed Systems ⋮ Safe and Optimal Adaptive Cruise Control ⋮ Symbolic Model Checking in Non-Boolean Domains ⋮ Measuring Permissivity in Finite Games ⋮ Dynamic controllability via timed game automata ⋮ PRISM-games: A Model Checker for Stochastic Multi-Player Games ⋮ Permissive Controller Synthesis for Probabilistic Systems ⋮ Robust synthesis for real-time systems ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ A survey of timed automata for the development of real-time systems ⋮ CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems ⋮ Controller synthesis for dynamic hierarchical real-time plants using timed automata ⋮ Timed Control with Observation Based and Stuttering Invariant Strategies ⋮ Efficient On-the-Fly Algorithms for Partially Observable Timed Games ⋮ Collaborative models for autonomous systems controller synthesis ⋮ PuRSUE -- from specification of robotic environments to synthesis of controllers ⋮ Timed-automata abstraction of switched dynamical systems using control invariants ⋮ Modal event-clock specifications for timed component-based design ⋮ Formal System Verification ⋮ Timed I/O automata ⋮ Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control ⋮ Controllers with Minimal Observation Power (Application to Timed Systems) ⋮ Model checking for probabilistic timed automata ⋮ Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) ⋮ Optimal and robust controller synthesis using energy timed automata with uncertainty ⋮ Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games ⋮ A Model for Industrial Real-Time Systems ⋮ Nash Equilibria for Reachability Objectives in Multi-player Timed Games ⋮ Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games ⋮ Combining Symbolic Representations for Solving Timed Games ⋮ Methodologies for Specification of Real-Time Systems Using Timed I/O Automata ⋮ Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice ⋮ Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study ⋮ Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization ⋮ Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems ⋮ Logical time control of concurrent DES ⋮ A game approach to the parametric control of real-time systems ⋮ Verification, Performance Analysis and Controller Synthesis for Real-Time Systems ⋮ Verification and Performance Evaluation of Timed Game Strategies ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next? ⋮ A turn-based approach for qualitative time concurrent games
This page was built for software: UPPAAL TIGA
