Cover Image

Falsification of Autonomous Systems in Rich Environments

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Elimelech, Khen, Lahijanian, Morteza, Kavraki, Lydia E., Vardi, Moshe Y.
Format:	Preprint
Published:	2024
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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