Pages that link to "Item:Q3511218"
From MaRDI portal
The following pages link to Timed Alternating-Time Temporal Logic (Q3511218):
Displayed 6 items.
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- Model checking MASL specification of distributed real-time systems (Q946007) (← links)
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860) (← links)
- Measuring Permissivity in Finite Games (Q3184674) (← links)
- Reasoning about Quality and Fuzziness of Strategic Behaviors (Q6116358) (← links)