Pages that link to "Item:Q2986941"
From MaRDI portal
The following pages link to Iterative temporal motion planning for hybrid systems in partially unknown environments (Q2986941):
Displaying 4 items.
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Lifted model checking for relational MDPs (Q2102421) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
