Pages that link to "Item:Q481098"

The following pages link to Robust reachability in timed automata and games: a game-based approach (Q481098):

Displaying 2 items.

• Computing maximally-permissive strategies in acyclic timed automata (Q1996019) (← links)
• Model measuring for discrete and hybrid systems (Q2374564) (← links)