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 7 items.
- A framework for multi-robot motion planning from temporal logic specifications (Q439866) (← links)
- 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)
- Supervisor synthesis of POMDP via automata learning (Q2665148) (← links)
- (Q5054599) (← links)
- Design of smooth hybrid controllers for a class of non-linear systems (Q6611565) (← links)