The following pages link to CONCUR 2005 – Concurrency Theory (Q5897475):
Displaying 43 items.
- Dynamic controllability via timed game automata (Q329422) (← links)
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Robust synthesis for real-time systems (Q386617) (← links)
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- Antichains and compositional algorithms for LTL synthesis (Q453498) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
- On subgame perfect equilibria in turn-based reachability timed games (Q1996016) (← links)
- Optimal and robust controller synthesis using energy timed automata with uncertainty (Q1996422) (← links)
- Optimal and robust controller synthesis. Using energy timed automata with uncertainty (Q2024347) (← links)
- Logical time control of concurrent DES (Q2058560) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Monitoring timed properties (revisited) (Q2112101) (← links)
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) (Q2249659) (← links)
- A symbolic algorithm for lazy synthesis of eager strategies (Q2303874) (← links)
- Synthesising succinct strategies in safety games with an application to real-time scheduling (Q2636511) (← links)
- Maximally permissive controller synthesis for time Petri nets (Q2871733) (← links)
- New Results on Timed Specifications (Q2890330) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- Robust Specification of Real Time Components (Q3172848) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- On Scheduling Policies for Streams of Structured Jobs (Q3543294) (← links)
- Compositional Abstraction in Real-Time Model Checking (Q3543301) (← links)
- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment (Q3624601) (← links)
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation (Q3648824) (← links)
- Realizability of Real-Time Logics (Q3648828) (← links)
- (Q5089309) (← links)
- On-the-Fly Synthesis for Strictly Alternating Games (Q5100753) (← links)
- (Q5114827) (← links)
- Specification Theories for Probabilistic and Real-Time Systems (Q5170746) (← links)
- A game approach to the parametric control of real-time systems (Q5231423) (← links)
- Game-based Synthesis of Distributed Controllers for Sampled Switched Systems (Q5240151) (← links)
- Control Strategies for Off-Line Testing of Timed Systems (Q5883580) (← links)
- Control strategies for off-line testing of timed systems (Q6102163) (← links)
- Traffic models of periodic event-triggered quantized control systems (Q6171358) (← links)
