The following pages link to (Q4736608):
Displaying 4 items.
- Theory and computation of discrete state space decompositions for hybrid systems (Q397399) (← links)
- Proving Approximate Implementations for Probabilistic I/O Automata (Q2864525) (← links)
- Bisimilar Finite Abstractions of Interconnected Systems (Q3523133) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
