The following pages link to (Q4552484):
Displaying 5 items.
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- On dynamic topological and metric logics (Q865049) (← links)
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Towards physical hybrid systems (Q2305415) (← links)
