Copertina

Falsification of Autonomous Systems in Rich Environments

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Elimelech, Khen, Lahijanian, Morteza, Kavraki, Lydia E., Vardi, Moshe Y.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Robotics Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Encoding Reusable Multi-Robot Planning Strategies as Abstract Hypergraphs
di: Elimelech, Khen, et al.
Pubblicazione: (2024)

Stochastic Games for Interactive Manipulation Domains
di: Muvvala, Karan, et al.
Pubblicazione: (2024)

TIDE: A Trace-Informed Depth-First Exploration for Planning with Temporally Extended Goals
di: Suprun, Yuliia, et al.
Pubblicazione: (2026)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
di: Mazouz, Rayan, et al.
Pubblicazione: (2022)

Provably Safe Motion Planning Under Unknown Disturbances
di: Gracia, Ibon, et al.
Pubblicazione: (2026)

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
di: Amorese, Peter, et al.
Pubblicazione: (2026)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
di: Gracia, Ibon, et al.
Pubblicazione: (2025)

Data-Driven Permissible Safe Control with Barrier Certificates
di: Mazouz, Rayan, et al.
Pubblicazione: (2024)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
di: Laurenti, Luca, et al.
Pubblicazione: (2023)

Adaptive Terminal Sliding Mode Control Using Deep Reinforcement Learning for Zero-Force Control of Exoskeleton Robot Systems
di: Mirzaee, Morteza, et al.
Pubblicazione: (2024)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
di: Amorese, Peter, et al.
Pubblicazione: (2025)

A General Safety Framework for Autonomous Manipulation in Human Environments
di: Thumm, Jakob, et al.
Pubblicazione: (2024)

The Design of Autonomous UAV Prototypes for Inspecting Tunnel Construction Environment
di: Dong, Yiping
Pubblicazione: (2024)

Safety-Aware Perception for Autonomous Collision Avoidance in Dynamic Environments
di: Bena, Ryan M., et al.
Pubblicazione: (2024)

On the Optimality of Uncertain MDP Abstractions
di: Gracia, Ibon, et al.
Pubblicazione: (2026)

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
di: Gracia, Ibon, et al.
Pubblicazione: (2025)

Piecewise Control Barrier Functions for Stochastic Systems
di: Mazouz, Rayan, et al.
Pubblicazione: (2025)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
di: Ho, Qi Heng, et al.
Pubblicazione: (2024)

Reactive Robot-Centric Safety for Autonomous Navigation in Constrained and Dynamic Environments
di: Sankaranarayanan, Viswa Narayanan, et al.
Pubblicazione: (2026)

A Modular Architecture Design for Autonomous Driving Racing in Controlled Environments
di: Fontan-Costas, Brais, et al.
Pubblicazione: (2025)

Enabling Robots to Autonomously Search Dynamic Cluttered Post-Disaster Environments
di: Rado, Karlo, et al.
Pubblicazione: (2025)

Occupancy-aware Trajectory Planning for Autonomous Valet Parking in Uncertain Dynamic Environments
di: Nawaz, Farhad, et al.
Pubblicazione: (2025)

Semantic Region Aware Autonomous Exploration for Multi-Type Map Construction in Unknown Indoor Environments
di: Mao, Jianfang
Pubblicazione: (2024)

Extended Version: Multi-Robot Motion Planning with Cooperative Localization
di: Theurkauf, Anne, et al.
Pubblicazione: (2025)

Diagnosing and Predicting Autonomous Vehicle Operational Safety Using Multiple Simulation Modalities and a Virtual Environment
di: Beck, Joe, et al.
Pubblicazione: (2024)

Autonomous Navigation in Dynamic Human Environments with an Embedded 2D LiDAR-based Person Tracker
di: Plozza, Davide, et al.
Pubblicazione: (2024)

Simulating an Autonomous System in CARLA using ROS 2
di: Abdo, Joseph, et al.
Pubblicazione: (2025)

Safe and Real-Time Consistent Planning for Autonomous Vehicles in Partially Observed Environments via Parallel Consensus Optimization
di: Zheng, Lei, et al.
Pubblicazione: (2024)

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
di: Reed, Robert, et al.
Pubblicazione: (2024)

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
di: Amorese, Peter, et al.
Pubblicazione: (2026)

Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
di: Amorese, Peter, et al.
Pubblicazione: (2025)

Vehicle-in-Virtual-Environment (VVE) Method for Developing and Evaluating VRU Safety of Connected and Autonomous Driving with Focus on Bicyclist Safety
di: Chen, Haochong, et al.
Pubblicazione: (2025)

Vehicle-in-Virtual-Environment (VVE) Based Autonomous Driving Function Development and Evaluation Methodology for Vulnerable Road User Safety
di: Chen, Haochong, et al.
Pubblicazione: (2025)

Trajectory Tracking for Multi-Manipulator Systems in Constrained Environments
di: Sewlia, Mayank, et al.
Pubblicazione: (2025)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
di: Mazouz, Rayan, et al.
Pubblicazione: (2026)

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

Quadrotor Morpho-Transition: Learning vs Model-Based Control Strategies
di: Mandralis, Ioannis, et al.
Pubblicazione: (2025)

Safe Navigation in Unmapped Environments for Robotic Systems with Input Constraints
di: Safari, Amirsaeid, et al.
Pubblicazione: (2024)

ConvoyNext: A Scalable Testbed Platform for Cooperative Autonomous Vehicle Systems
di: Maghsoumi, Hossein, et al.
Pubblicazione: (2025)

System Identification and Adaptive Input Estimation on the Jaiabot Micro Autonomous Underwater Vehicle
di: Faros, Ioannis, et al.
Pubblicazione: (2025)