3 papers
cs.RO2024
Grand Challenges in the Verification of Autonomous Systems
Kevin Leahy, Hamid Asgari, Louise A. Dennis +6
Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies…
cs.AI2024
Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
Qi Heng Ho, Martin S. Feather, Federico Rossi +2
Partially Observable Markov Decision Processes (POMDPs) are powerful models for sequential decision making under transition and observation uncertainties. This paper studies the ch…
cs.SE2023
Assurance for Autonomy -- JPL's past research, lessons learned, and future directions
Martin S. Feather, Alessandro Pinto
Robotic space missions have long depended on automation, defined in the 2015 NASA Technology Roadmaps as "the automatically-controlled operation of an apparatus, process, or system…