Saved in:
| Main Authors: | Krishnan, Aditya A., Kim, Donghoon, Kim, Hokeun |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.11708 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
by: Tehrani, Masoud Jamshidiyan, et al.
Published: (2025)
by: Tehrani, Masoud Jamshidiyan, et al.
Published: (2025)
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
by: Mandrioli, Claudio, et al.
Published: (2024)
by: Mandrioli, Claudio, et al.
Published: (2024)
Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles
by: Xiao, Yizhuo, et al.
Published: (2026)
by: Xiao, Yizhuo, et al.
Published: (2026)
RED: Adaptive Real-Time DAG Scheduling for Robotic Inference under Environmental Dynamics
by: Li, Zexin, et al.
Published: (2026)
by: Li, Zexin, et al.
Published: (2026)
Exploring Robot Trajectory Planning -- A Comparative Analysis of Algorithms And Software Implementations in Dynamic Environments
by: Bora, Arunabh
Published: (2024)
by: Bora, Arunabh
Published: (2024)
The Open Autonomy Safety Case Framework
by: Wagner, Michael, et al.
Published: (2024)
by: Wagner, Michael, et al.
Published: (2024)
IndustriConnect: MCP Adapters and Mock-First Evaluation for AI-Assisted Industrial Operations
by: Xavier, Melwin, et al.
Published: (2026)
by: Xavier, Melwin, et al.
Published: (2026)
Fast and Realistic Automated Scenario Simulations and Reporting for an Autonomous Racing Stack
by: Lambertini, Giovanni, et al.
Published: (2025)
by: Lambertini, Giovanni, et al.
Published: (2025)
Few-Shot Scenario Testing for Autonomous Vehicles Based on Neighborhood Coverage and Similarity
by: Li, Shu, et al.
Published: (2024)
by: Li, Shu, et al.
Published: (2024)
NanoCockpit: Performance-optimized Application Framework for AI-based Autonomous Nanorobotics
by: Cereda, Elia, et al.
Published: (2026)
by: Cereda, Elia, et al.
Published: (2026)
ForzaETH Race Stack -- Scaled Autonomous Head-to-Head Racing on Fully Commercial off-the-Shelf Hardware
by: Baumann, Nicolas, et al.
Published: (2024)
by: Baumann, Nicolas, et al.
Published: (2024)
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
by: Gleirscher, Mario, et al.
Published: (2021)
by: Gleirscher, Mario, et al.
Published: (2021)
Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
by: Ghazal, Zaid, et al.
Published: (2026)
by: Ghazal, Zaid, et al.
Published: (2026)
A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
by: Adam, Mustafa, et al.
Published: (2025)
by: Adam, Mustafa, et al.
Published: (2025)
Modern Middlewares for Automated Vehicles: A Tutorial
by: Klüner, David Philipp, et al.
Published: (2024)
by: Klüner, David Philipp, et al.
Published: (2024)
RAN Tester UE: An Automated Declarative UE Centric Security Testing Platform
by: Ueltschey, Charles Marion, et al.
Published: (2025)
by: Ueltschey, Charles Marion, et al.
Published: (2025)
Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
by: Isaku, Erblin, et al.
Published: (2025)
by: Isaku, Erblin, et al.
Published: (2025)
A self-adaptive system of systems architecture to enable its ad-hoc scalability: Unmanned Vehicle Fleet -- Mission Control Center Case study
by: Sadik, Ahmed R., et al.
Published: (2024)
by: Sadik, Ahmed R., et al.
Published: (2024)
Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner
by: Conrad, Mirko, et al.
Published: (2024)
by: Conrad, Mirko, et al.
Published: (2024)
LucidGrasp: Robotic Framework for Autonomous Manipulation of Laboratory Equipment with Different Degrees of Transparency via 6D Pose Estimation
by: Makarova, Maria, et al.
Published: (2024)
by: Makarova, Maria, et al.
Published: (2024)
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
by: A., Gustavo Quiros, et al.
Published: (2025)
by: A., Gustavo Quiros, et al.
Published: (2025)
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
by: Zhou, Zhehua, et al.
Published: (2023)
by: Zhou, Zhehua, et al.
Published: (2023)
A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
by: Dudek, Wojciech, et al.
Published: (2023)
by: Dudek, Wojciech, et al.
Published: (2023)
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)
by: Vázquez, Gricel, et al.
Published: (2026)
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
by: Adam, Mustafa, et al.
Published: (2025)
by: Adam, Mustafa, et al.
Published: (2025)
A Case Study on the Application of Digital Twins for Enhancing CPS Operations
by: Muntean, Irina, et al.
Published: (2025)
by: Muntean, Irina, et al.
Published: (2025)
Integration of an Agent Model into an Open Simulation Architecture for Scenario-Based Testing of Automated Vehicles
by: Geller, Christian, et al.
Published: (2026)
by: Geller, Christian, et al.
Published: (2026)
Automation Configuration in Smart Home Systems: Challenges and Opportunities
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)
Towards Using Behavior Trees in Industrial Automation Controllers
by: Sidorenko, Aleksandr, et al.
Published: (2024)
by: Sidorenko, Aleksandr, et al.
Published: (2024)
Ladder Logic Translation using Large Language Models in Industrial Automation
by: Ogundare, Oluwatosin, et al.
Published: (2026)
by: Ogundare, Oluwatosin, et al.
Published: (2026)
A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
by: Alexopoulos, Angelos, et al.
Published: (2025)
by: Alexopoulos, Angelos, et al.
Published: (2025)
Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
by: Schubert, Richard, et al.
Published: (2026)
by: Schubert, Richard, et al.
Published: (2026)
The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
by: Abbaspour, Alireza, et al.
Published: (2026)
by: Abbaspour, Alireza, et al.
Published: (2026)
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
by: Krook, Jonas, et al.
Published: (2022)
by: Krook, Jonas, et al.
Published: (2022)
AWML: An Open-Source ML-based Robotics Perception Framework to Deploy for ROS-based Autonomous Driving Software
by: Tanaka, Satoshi, et al.
Published: (2025)
by: Tanaka, Satoshi, et al.
Published: (2025)
Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
by: Patel, Milin, et al.
Published: (2025)
by: Patel, Milin, et al.
Published: (2025)
APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
by: Zacchi, João-Vitor, et al.
Published: (2025)
by: Zacchi, João-Vitor, et al.
Published: (2025)
HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
by: Xu, Kangwei, et al.
Published: (2025)
by: Xu, Kangwei, et al.
Published: (2025)
Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
by: Sinitsyn, Viktor, et al.
Published: (2025)
by: Sinitsyn, Viktor, et al.
Published: (2025)
Using Large Language Models for Black-Box Testing of FMU-Based Simulations
by: Mughees, Abdullah, et al.
Published: (2026)
by: Mughees, Abdullah, et al.
Published: (2026)
Similar Items
-
PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
by: Tehrani, Masoud Jamshidiyan, et al.
Published: (2025) -
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
by: Mandrioli, Claudio, et al.
Published: (2024) -
Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles
by: Xiao, Yizhuo, et al.
Published: (2026) -
RED: Adaptive Real-Time DAG Scheduling for Robotic Inference under Environmental Dynamics
by: Li, Zexin, et al.
Published: (2026) -
Exploring Robot Trajectory Planning -- A Comparative Analysis of Algorithms And Software Implementations in Dynamic Environments
by: Bora, Arunabh
Published: (2024)