Imagen de Portada

Formal Verification and Control with Conformal Prediction

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lindemann, Lars, Zhao, Yiqi, Yu, Xinyi, Pappas, George J., Deshmukh, Jyotirmoy V.
Formato:	Preprint
Publicado:	2024
Materias:	Systems and Control Robotics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Conformal Predictive Programming for Chance Constrained Optimization
por: Zhao, Yiqi, et al.
Publicado: (2024)

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

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

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

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

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
por: Yu, Xinyi, et al.
Publicado: (2023)

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
por: Akella, Prithvi, et al.
Publicado: (2024)

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

Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees
por: Stamouli, Charis, et al.
Publicado: (2024)

Conformal Prediction Regions for Time Series using Linear Complementarity Programming
por: Cleaveland, Matthew, et al.
Publicado: (2023)

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

Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates
por: Tumu, Renukanandan, et al.
Publicado: (2023)

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

Flying Quadrotors in Tight Formations using Learning-based Model Predictive Control
por: Chee, Kong Yao, et al.
Publicado: (2024)

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

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

Learning Local Control Barrier Functions for Hybrid Systems
por: Yang, Shuo, et al.
Publicado: (2024)

Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
por: Tang, Chencheng, et al.
Publicado: (2024)

Conformal Prediction for Distribution-free Optimal Control of Linear Stochastic Systems
por: Vlahakis, Eleftherios E., et al.
Publicado: (2024)

On transferring safety certificates across dynamical systems
por: Bousias, Nikolaos, et al.
Publicado: (2026)

Conformal Prediction-Based MPC for Stochastic Linear Systems
por: Vogel, Lukas, et al.
Publicado: (2025)

Conformal Prediction of Motion Control Performance for an Automated Vehicle in Presence of Actuator Degradations and Failures
por: Schubert, Richard, et al.
Publicado: (2024)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
por: Yin, Xiang, et al.
Publicado: (2024)

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions
por: MS, Sumeadh, et al.
Publicado: (2025)

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
por: Dai, Hongkai, et al.
Publicado: (2024)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
por: Lin, Albert, et al.
Publicado: (2023)

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

Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints
por: Cai, Junyang, et al.
Publicado: (2025)

Multirotor Nonlinear Model Predictive Control based on Visual Servoing of Evolving Features
por: Aspragkathos, Sotirios N., et al.
Publicado: (2024)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
por: Yang, Shuo, et al.
Publicado: (2024)

Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
por: Vlahakis, Eleftherios E., et al.
Publicado: (2025)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
por: Nath, Devesh, et al.
Publicado: (2025)

Egocentric Conformal Prediction for Safe and Efficient Navigation in Dynamic Cluttered Environments
por: Shin, Jaeuk, et al.
Publicado: (2025)

gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
por: Agrawal, Devansh R, et al.
Publicado: (2022)

Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
por: Zhang, Hongchao, et al.
Publicado: (2026)

Who Moved My Distribution? Conformal Prediction for Interactive Multi-Agent Systems
por: Binny, Allen Emmanuel, et al.
Publicado: (2025)

Generalized Momenta-Based Koopman Formalism for Robust Control of Euler-Lagrangian Systems
por: Singh, Rajpal, et al.
Publicado: (2025)

Conformal Contraction for Robust Nonlinear Control with Distribution-Free Uncertainty Quantification
por: Wei, Sihang, et al.
Publicado: (2025)