Live
Black Hat USAAI BusinessBlack Hat AsiaAI BusinessComparing Today's Multi-Model DatabasesDEV CommunityBuilding a WeChat Mini Program Pre-Sale System from Scratch: A Builder's LogDEV Community26 Quizzes: What We've Learned About Which Results People Actually ShareDEV CommunityLayered Agentic Retrieval for Retail Floor Questions: A Solo PoCDEV CommunityHow to Handle Sensitive Data Securely in TerraformDEV CommunitySecure Cross-Platform File Sharing: A Unified Solution for Diverse Devices and NetworksDEV CommunityHere's what 'cracking' bitcoin in 9 minutes by quantum computers actually meansCoinDesk AII Tested a Real AI Agent for Security. The LLM Knew It Was Dangerous — But the Tool Layer Executed Anyway.DEV CommunityI Got Tired of Surprise OpenAI Bills, So I Built a Dashboard to Track ThemDEV CommunitySynthetic Population Testing for Recommendation SystemsDEV CommunityI Analyzed 500 AI Coding Mistakes and Built an ESLint Plugin to Catch ThemDEV CommunityAnthropic is having a moment in the private markets; SpaceX could spoil the partyTechCrunchBlack Hat USAAI BusinessBlack Hat AsiaAI BusinessComparing Today's Multi-Model DatabasesDEV CommunityBuilding a WeChat Mini Program Pre-Sale System from Scratch: A Builder's LogDEV Community26 Quizzes: What We've Learned About Which Results People Actually ShareDEV CommunityLayered Agentic Retrieval for Retail Floor Questions: A Solo PoCDEV CommunityHow to Handle Sensitive Data Securely in TerraformDEV CommunitySecure Cross-Platform File Sharing: A Unified Solution for Diverse Devices and NetworksDEV CommunityHere's what 'cracking' bitcoin in 9 minutes by quantum computers actually meansCoinDesk AII Tested a Real AI Agent for Security. The LLM Knew It Was Dangerous — But the Tool Layer Executed Anyway.DEV CommunityI Got Tired of Surprise OpenAI Bills, So I Built a Dashboard to Track ThemDEV CommunitySynthetic Population Testing for Recommendation SystemsDEV CommunityI Analyzed 500 AI Coding Mistakes and Built an ESLint Plugin to Catch ThemDEV CommunityAnthropic is having a moment in the private markets; SpaceX could spoil the partyTechCrunch
AI NEWS HUBbyEIGENVECTOREigenvector

PRO-SPECT: Probabilistically Safe Scalable Planning for Energy-Aware Coordinated UAV-UGV Teams in Stochastic Environments

arXiv cs.MAby [Submitted on 2 Apr 2026]April 3, 20261 min read1 views
Source Quiz

arXiv:2604.02142v1 Announce Type: cross Abstract: We consider energy-aware planning for an unmanned aerial vehicle (UAV) and unmanned ground vehicle (UGV) team operating in a stochastic environment. The UAV must visit a set of air points in minimum time while respecting energy constraints, relying on the UGV as a mobile charging station. Unlike prior work that assumed deterministic travel times or used fixed robustness margins, we model travel times as random variables and bound the probability of failure (energy depletion) across the entire mission to a user-specified risk level. We formulate the problem as a Mixed-Integer Program and propose PRO-SPECT, a polynomial-time algorithm that generates risk-bounded plans. The algorithm supports both offline planning and online re-planning, enabl

View PDF HTML (experimental)

Abstract:We consider energy-aware planning for an unmanned aerial vehicle (UAV) and unmanned ground vehicle (UGV) team operating in a stochastic environment. The UAV must visit a set of air points in minimum time while respecting energy constraints, relying on the UGV as a mobile charging station. Unlike prior work that assumed deterministic travel times or used fixed robustness margins, we model travel times as random variables and bound the probability of failure (energy depletion) across the entire mission to a user-specified risk level. We formulate the problem as a Mixed-Integer Program and propose PRO-SPECT, a polynomial-time algorithm that generates risk-bounded plans. The algorithm supports both offline planning and online re-planning, enabling the team to adapt to disturbances while preserving the risk bound. We provide theoretical results on solution feasibility and time complexity. We also demonstrate the performance of our method via numerical comparisons and simulations.

Subjects:

Robotics (cs.RO); Multiagent Systems (cs.MA)

Cite as: arXiv:2604.02142 [cs.RO]

(or arXiv:2604.02142v1 [cs.RO] for this version)

https://doi.org/10.48550/arXiv.2604.02142

arXiv-issued DOI via DataCite (pending registration)

Submission history

From: Roger Fowler [view email] [v1] Thu, 2 Apr 2026 15:13:40 UTC (1,583 KB)

Was this article helpful?

Sign in to highlight and annotate this article

AI
Ask AI about this article
Powered by Eigenvector · full article context loaded
Ready

Conversation starters

Ask anything about this article…

Daily AI Digest

Get the top 5 AI stories delivered to your inbox every morning.

Knowledge Map

Knowledge Map
TopicsEntitiesSource
PRO-SPECT: …modelannouncearxivarXiv cs.MA

Connected Articles — Knowledge Graph

This article is connected to other articles through shared AI topics and tags.

Building knowledge graph…

Discussion

Sign in to join the discussion

No comments yet — be the first to share your thoughts!