3

REASON-RECOURSE Software for Science Operations of Autonomous Robotic Landers (accepted IEEE AeroConf 23)
In this work, we introduce a Preference based correct-by-construction planning framework (REASON-RECOURSE) for efficient exploration of icy moons likes Europa.
Jay McMahon, Nisar Ahmed, Morteza Lahijanian, Peter Amorese, Taralicin Deka, Karan Muvvala, Trevor Slack, Shohei Wakayama, Kian Shakerin
PDF Cite
REASON-RECOURSE Software for Science Operations of Autonomous Robotic Landers (accepted IEEE AeroConf 23)
RSS Paper
In this work, we introduce a method of safety certification and control for neural network dynamic systems via stochastic barrier functions.
Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian
Last updated on Oct 2, 2022
PDF Code