UPPAAL TIGA
From MaRDI portal
swMATH12913MaRDI QIDQ24836FDOQ24836
Author name not available (Why is that?)
Official website: http://people.cs.aau.dk/~adavid/tiga/
Cited In (88)
- bpmn-js
- AALpy
- CSTNU
- TimeAwareBPMN-js
- Formal system verification. State-of the-art and future trends
- Computing equilibria in two-player timed games via turn-based finite games
- Combining symbolic representations for solving timed games
- New results on timed specifications
- 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
- Safe and optimal adaptive cruise control
- Formal verification of mobile robot protocols
- Methodologies for specification of real-time systems using timed I/O automata
- Alpaga
- Romeo
- TAPAAL
- Kronos
- Rabbit
- TAXYS
- ECDAR
- IF-2.0
- GEZEL
- Uppaal
- DREAM Tool
- iFEST
- SWMM5
- A turn-based approach for qualitative time concurrent games
- CGMurphi
- PyEcdar
- QUASY
- LearnLib
- McAiT
- Casaal
- LinAIG
- CoVer
- APMC
- Tempo
- CMC
- PRISM-games
- Synthia
- Rapture
- REDLIB
- Modechart
- Acacia+
- Activiti
- ITS-Tools
- BluSTL
- ASDeX
- POWER-TRUCTOR
- Model checking for probabilistic timed automata
- Mjollnir
- PuRSUE
- 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
- ADG
- 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
- DejaVu
- Verification and performance evaluation of timed game strategies
This page was built for software: UPPAAL TIGA
