Copertina

PerceMon: Online Monitoring for Perception Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Balakrishnan, Anand, Deshmukh, Jyotirmoy, Hoxha, Bardh, Yamaguchi, Tomoya, Fainekos, Georgios
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
di: Hoxha, Bardh, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods
di: Balakrishnan, Anand, et al.
Pubblicazione: (2024)

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

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

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

FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs
di: Fronda, Nicole, et al.
Pubblicazione: (2025)

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

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
di: Balakrishnan, Anand, et al.
Pubblicazione: (2022)

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis
di: Hashemi, Navid, et al.
Pubblicazione: (2025)

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

Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility
di: Fronda, Nicole, et al.
Pubblicazione: (2025)

Repairing Neural Networks for Safety in Robotic Systems using Predictive Models
di: Majd, Keyvan, et al.
Pubblicazione: (2024)

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

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
di: Balakrishnan, Anand, et al.
Pubblicazione: (2025)

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

StarV: A Qualitative and Quantitative Verification Tool for Learning-enabled Systems
di: Tran, Dung, et al.
Pubblicazione: (2025)

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

Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
di: Bonin, Lorenzo, et al.
Pubblicazione: (2026)

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

Multi-agent Path Finding for Timed Tasks using Evolutionary Games
di: Paul, Sheryl, et al.
Pubblicazione: (2024)