Pages that link to "Item:Q2903986"
From MaRDI portal
The following pages link to Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986):
Displaying 9 items.
- Multi-agent planning under local LTL specifications and event-based synchronization (Q290878) (← links)
- Kripke modelling and verification of temporal specifications of a multiple UAV system (Q434449) (← links)
- Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications (Q2125520) (← links)
- Resource-aware networked control systems under temporal logic specifications (Q2177771) (← links)
- Design and implement of optimal patrolling control system to satisfy the complex requirements (Q2823582) (← links)
- Cooperative control of autonomous systems (Q2903982) (← links)
- Distributed stochastic multi-vehicle routing in the Euclidean plane with no communications (Q2954069) (← links)
- Combining qualitative information and semi‐quantitative data for guaranteed invalidation of biochemical network models (Q4909338) (← links)
- Unmanned aerial vehicles/drones in vehicle routing problems: a literature review (Q6071124) (← links)