From the 4 of 103 linked papers with an AI index.
15 papers · 1 filter
Computing on the Fly: Navigating a Vision for the Future of Drone Computing
Kevin Butler, Christopher Stewart, Nils Aschenbruck +4
The report envisions a decade in which drones move goods, medical supplies, and information at a scale comparable to national infrastructure investments like highways and the elect…
Path Planning in Physically Viable World Models
Su Ann Low, Cheng-Hsi Hsiao, Xingjian Li +3
Robots deployed in unstructured outdoor environments often plan from scene reconstructions collected before deployment because operators cannot remap large or remote sites before e…
VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
Yunhao Yang, Neel P. Bhatt, Kevin Wang +3
Reusable robot skills are becoming the basic units through which embodied agents turn open-ended instructions into long-horizon physical behavior. We argue that, while foundation m…
LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
Yunhao Yang, Junyuan Hong, Gabriel Jacob Perin +4
Large language models (LLMs) can translate natural language instructions into executable action plans for robotics, autonomous driving, and other domains. Yet, deploying LLM-driven…
Zero to Autonomy in Real-Time: Online Adaptation of Dynamics in Unstructured Environments
William Ward, Sarah Etter, Jesse Quattrociocchi +3
Autonomous robots must go from zero prior knowledge to safe control within seconds to operate in unstructured environments. Abrupt terrain changes, such as a sudden transition to i…
Robust Multi-Agent Reinforcement Learning for Small UAS Separation Assurance under GPS Degradation and Spoofing
Alex Zongo, Filippos Fotiadis, Ufuk Topcu +1
We address robust separation assurance for small Unmanned Aircraft Systems (sUAS) under GPS degradation and spoofing via Multi-Agent Reinforcement Learning (MARL). In cooperative s…