Cover Image

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hoxha, Bardh, Schön, Oliver, Okamoto, Hideki, Lindemann, Lars, Fainekos, Georgios
Format:	Preprint
Published:	2026
Subjects:	Machine Learning Computer Vision and Pattern Recognition Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
by: Kim, Taekyung, et al.
Published: (2026)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
by: Black, Mitchell, et al.
Published: (2024)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
by: Yang, Shuo, et al.
Published: (2023)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
by: Parwana, Hardik, et al.
Published: (2024)

GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
by: Majd, Keyvan, et al.
Published: (2025)

Neural Configuration Distance Function for Continuum Robot Control
by: Long, Kehan, et al.
Published: (2024)

SMT-Based Dynamic Multi-Robot Task Allocation
by: Tuck, Victoria Marie, et al.
Published: (2024)

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation
by: Parwana, Hardik, et al.
Published: (2023)

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
by: Tuck, Victoria Marie, et al.
Published: (2025)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
by: Hashemi, Navid, et al.
Published: (2024)

Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
by: Black, Mitchell, et al.
Published: (2024)

Querying Perception Streams with Spatial Regular Expressions
by: Anderson, Jacob, et al.
Published: (2024)

BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field
by: Parwana, Hardik, et al.
Published: (2025)

Spatio-Temporal Grounding of Large Language Models from Perception Streams
by: Anderson, Jacob, et al.
Published: (2026)

Optimal Planning for Timed Partial Order Specifications
by: Watanabe, Kandai, et al.
Published: (2024)

Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0
by: Miao, Yan, et al.
Published: (2025)

Safe Model Predictive Diffusion with Shielding
by: Kim, Taekyung, et al.
Published: (2025)

PerceMon: Online Monitoring for Perception Systems
by: Balakrishnan, Anand, et al.
Published: (2021)

Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions
by: Lutkus, Paul, et al.
Published: (2025)

Risk-aware MPPI for Stochastic Hybrid Systems
by: Parwana, Hardik, et al.
Published: (2024)

LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
by: Khare, Avishree, et al.
Published: (2025)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
by: Yamaguchi, Tomoya, et al.
Published: (2025)

Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions
by: Wang, Xinyi, et al.
Published: (2026)

Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
by: Wang, Xinyi, et al.
Published: (2025)

Deep Equivariant Multi-Agent Control Barrier Functions
by: Bousias, Nikolaos, et al.
Published: (2025)

From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
by: Miao, Yan, et al.
Published: (2024)

Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction
by: Mirzaeedodangeh, Omid, et al.
Published: (2025)

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
by: Zhao, Yiqi, et al.
Published: (2025)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
by: Hashemi, Navid, et al.
Published: (2024)

eCP: Equivariant Conformal Prediction with pre-trained models
by: Bousias, Nikolaos, et al.
Published: (2026)

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
by: Rahaman, Kaizer, et al.
Published: (2026)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
by: Nawaz, Farhad, et al.
Published: (2024)

Designing Latent Safety Filters using Pre-Trained Vision Models
by: Tabbara, Ihab, et al.
Published: (2025)

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

GMM-Based Time-Varying Coverage Control
by: Zamani, Behzad, et al.
Published: (2025)

Latent Representations for Control Design with Provable Stability and Safety Guarantees
by: Lutkus, Paul, et al.
Published: (2025)

Vision-Based System Identification of a Quadrotor
by: Iz, Selim Ahmet, et al.
Published: (2025)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
by: Gautam, Saksham, et al.
Published: (2024)