Pages that link to "Item:Q2024360"
From MaRDI portal
The following pages link to Multi-robot LTL planning under uncertainty (Q2024360):
Displaying 10 items.
- Multi-agent planning under local LTL specifications and event-based synchronization (Q290878) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications (Q2125520) (← links)
- Path planning for robotic teams based on LTL specifications and Petri net models (Q2177780) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- On reducing complexity in LTL-based motion planning (Q2835117) (← links)
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)
- Artificial Intelligence and Soft Computing - ICAISC 2004 (Q4666218) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)