Pages that link to "Item:Q2988944"
From MaRDI portal
The following pages link to Temporal logic motion planning using POMDPs with parity objectives (Q2988944):
Displaying 5 items.
- Enforcing almost-sure reachability in POMDPs (Q832296) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- (Q5054599) (← links)
- Design of smooth hybrid controllers for a class of non-linear systems (Q6611565) (← links)