The following pages link to (Q4791854):
Displaying 16 items.
- Specifications for decidable hybrid games (Q650914) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Causality-based game solving (Q832242) (← links)
- Solving games via three-valued abstraction refinement (Q979079) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Logical time control of concurrent DES (Q2058560) (← links)
- Timed games with bounded window parity objectives (Q2112117) (← links)
- A turn-based approach for qualitative time concurrent games (Q2117153) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- New Results on Timed Specifications (Q2890330) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
- (Q5005148) (← links)
- (Q5101350) (← links)
- A game approach to the parametric control of real-time systems (Q5231423) (← links)
- Stochastic Games with Lossy Channels (Q5458349) (← links)
