The following pages link to UPPAAL TIGA (Q24836):
Displaying 45 items.
- Expected reachability-time games (Q278757) (← links)
- Dynamic controllability via timed game automata (Q329422) (← links)
- Robust synthesis for real-time systems (Q386617) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems (Q397407) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Optimal and robust controller synthesis using energy timed automata with uncertainty (Q1996422) (← links)
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
- Logical time control of concurrent DES (Q2058560) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- A turn-based approach for qualitative time concurrent games (Q2117153) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control (Q2231651) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) (Q2249659) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (Q2814624) (← links)
- New Results on Timed Specifications (Q2890330) (← links)
- Template-Based Controller Synthesis for Timed Systems (Q2894283) (← links)
- Permissive Controller Synthesis for Probabilistic Systems (Q2941765) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Timed I/O automata (Q2985870) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (Q3075475) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- Measuring Permissivity in Finite Games (Q3184674) (← links)
- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems (Q3400913) (← links)
- Safe and Optimal Adaptive Cruise Control (Q3449638) (← links)
- Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796) (← links)
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games (Q3510829) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Nash Equilibria for Reachability Objectives in Multi-player Timed Games (Q3584930) (← links)
- Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games (Q3588084) (← links)
- Combining Symbolic Representations for Solving Timed Games (Q3588087) (← links)
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study (Q3624564) (← links)
- Formal System Verification (Q4610434) (← links)
- Controllers with Minimal Observation Power (Application to Timed Systems) (Q4649298) (← links)
- Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games (Q5166678) (← links)
- A Model for Industrial Real-Time Systems (Q5172641) (← links)
- A game approach to the parametric control of real-time systems (Q5231423) (← links)
- PRISM-games: A Model Checker for Stochastic Multi-Player Games (Q5326324) (← links)
- Verification and Performance Evaluation of Timed Game Strategies (Q5500558) (← links)
