Cover Image

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Peper, Jordan, Miao, Yan, Mitra, Sayan, Ruchkin, Ivan
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Minimal Information Control Invariance via Vector Quantization
by: Yuceel, Ege, et al.
Published: (2026)

Active Localization of Unstable Systems with Coarse Information
by: Yuceel, Ege, et al.
Published: (2026)

Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation
by: Li, Yangge, et al.
Published: (2024)

Learning-based Inverse Perception Contracts and Applications
by: Sun, Dawei, et al.
Published: (2023)

Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing
by: Oeltjen, Christopher, et al.
Published: (2025)

Census-Based Population Autonomy For Distributed Robotic Teaming
by: Paine, Tyler M., et al.
Published: (2025)

TEACar: An Open-Source Autonomous Driving Platform
by: Zhang, Zhongzheng, et al.
Published: (2026)

FalconWing: An Ultra-Light Indoor Fixed-Wing UAV Platform for Vision-Based Autonomy
by: Miao, Yan, et al.
Published: (2025)

Negotiating Control: Neurosymbolic Variable Autonomy
by: Bakirtzis, Georgios, et al.
Published: (2024)

Towards Real-World Validation of a Physics-Based Ship Motion Prediction Model
by: Mathioudakis, Michail, et al.
Published: (2025)

Trust Modeling and Estimation in Human-Autonomy Interactions
by: Williams, Daniel A., et al.
Published: (2025)

Safe Networked Robotics with Probabilistic Verification
by: Narasimhan, Sai Shankar, et al.
Published: (2023)

Design and Validation of an Intention-Aware Probabilistic Framework for Trajectory Prediction: Integrating COLREGS, Grounding Hazards, and Planned Routes
by: Mahipala, Dhanika, et al.
Published: (2025)

Toward Fully Autonomous Flexible Chunk-Based Aerial Additive Manufacturing: Insights from Experimental Validation
by: Stamatopoulos, Marios-Nektarios, et al.
Published: (2025)

Stratified Topological Autonomy for Long-Range Coordination (STALC)
by: Duggan, Cora A., et al.
Published: (2025)

Finite-Time Control Based on Differential Flatness for Wheeled Mobile Robots with Experimental Validation
by: Rehman, Imtiaz Ur, et al.
Published: (2025)

Hybrid Autonomy Framework for a Future Mars Science Helicopter
by: Di Pierno, Luca, et al.
Published: (2025)

A Shared-Autonomy Construction Robotic System for Overhead Works
by: Kim, David Minkwan, et al.
Published: (2025)

Terrain Consistent Reference-Guided RL for Humanoid Navigation Autonomy
by: Compton, William D., et al.
Published: (2026)

An Event-Triggered Framework for Trust-Mediated Human-Autonomy Interaction
by: Williams, Daniel A., et al.
Published: (2024)

A Long-Duration Autonomy Approach to Connected and Automated Vehicles
by: Beaver, Logan E.
Published: (2024)

Autonomy Architectures for Safe Planning in Unknown Environments Under Budget Constraints
by: Cherenson, Daniel M., et al.
Published: (2025)

High-Speed, All-Terrain Autonomy: Ensuring Safety at the Limits of Mobility
by: Baxter, James R., et al.
Published: (2026)

A Parameter Privacy-Preserving Strategy for Mixed-Autonomy Platoon Control
by: Zhou, Jingyuan, et al.
Published: (2024)

Chance-Constrained Control for Safe Spacecraft Autonomy: Convex Programming Approach
by: Oguri, Kenshiro
Published: (2024)

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
by: Mahesh, Karan, et al.
Published: (2024)

EigenSafe: A Spectral Framework for Learning-Based Probabilistic Safety Assessment
by: Jang, Inkyu, et al.
Published: (2025)

From Abstraction to Reality: DARPA's Vision for Robust Sim-to-Real Autonomy
by: Noorani, Erfaun, et al.
Published: (2025)

Assistance-Seeking in Human-Supervised Autonomy: Role of Trust and Secondary Task Engagement (Extended Version)
by: Mangalindan, Dong Hae, et al.
Published: (2024)

Inverse Kinematics with Vision-Based Constraints
by: Wu, Liangting, et al.
Published: (2024)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction
by: Geng, Yuang, et al.
Published: (2025)

Four Principles for Physically Interpretable World Models
by: Peper, Jordan, et al.
Published: (2025)

A Unified MPC Strategy for a Tilt-rotor VTOL UAV Towards Seamless Mode Transitioning
by: Chen, Qizhao, et al.
Published: (2024)

Safe and Energy-Aware Multi-Robot Density Control via PDE-Constrained Optimization for Long-Duration Autonomy
by: Niu, Longchen, et al.
Published: (2026)

FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation
by: Miao, Yan, et al.
Published: (2025)

RoboMonkey: Scaling Test-Time Sampling and Verification for Vision-Language-Action Models
by: Kwok, Jacky, et al.
Published: (2025)

Vision-Based Cooperative MAV-Capturing-MAV
by: Zheng, Canlun, et al.
Published: (2025)

Robust Direct Data-Driven Control for Probabilistic Systems
by: von Rohr, Alexander, et al.
Published: (2023)

Robust Proximity Operations using Probabilistic Markov Models
by: Parikh, Deep, et al.
Published: (2024)