POMDP policies can be checked for robustness to observation model changes by solving a bi-level optimization via root-finding with the Robust Interval Search algorithm, which runs in polynomial time for non-sticky history-independent deviations when using finite-state controllers.
Transformers for Trajectory Optimization with Application to Spacecraft Rendezvous
5 Pith papers cite this work. Polarity classification is still indexing.
5
Pith papers citing it
citation-role summary
background 3
citation-polarity summary
roles
background 2polarities
background 2representative citing papers
SAGES translates natural-language commands into constraint-respecting spacecraft trajectories, achieving over 90% semantic-behavioral consistency in proximity operations and robotic tests.
Presents a mixed-method-derived, portable SysML verification process demonstrated in two tool-chains that handles behavioral and interface requirements beyond parametric diagrams.
Planetary Exploration 3.0 proposes single adaptive missions that perform both initial exploration and follow-on science on unvisited worlds using software-defined space systems.
An open-sourced Unified Autonomy Stack fuses LiDAR, radar, vision and inertial data with sampling-based planning and control barrier functions to deliver resilient autonomy on aerial and ground robots in challenging real-world settings.
citing papers explorer
-
The Unified Autonomy Stack: Toward a Blueprint for Generalizable Robot Autonomy
An open-sourced Unified Autonomy Stack fuses LiDAR, radar, vision and inertial data with sampling-based planning and control barrier functions to deliver resilient autonomy on aerial and ground robots in challenging real-world settings.