On the public citation graph
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review
0 signed · 252 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/j.2334-5837.2016.00179.xopenalex-snapshot
Testing of Autonomous Systems – Challenges and Current State‐of‐the‐Art
inferredcites →https://doi.org/10.1002/rnc.2914openalex-snapshot
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
inferredcites →https://doi.org/10.1007/978-3-030-27008-7_9openalex-snapshot
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
inferredcites →https://doi.org/10.1007/978-3-030-30446-1_5openalex-snapshot
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots
inferredcites →https://doi.org/10.1007/978-3-030-30446-1_6openalex-snapshot
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
inferredcites →https://doi.org/10.1007/978-3-319-10407-2_40openalex-snapshot
Formal Verification Applied to Robotic Surgery
inferredcites →https://doi.org/10.1007/978-3-319-11164-3_20openalex-snapshot
ROSRV: Runtime Verification for Robots
inferredcites →https://doi.org/10.1007/978-3-319-11900-7_39openalex-snapshot
Automatic Verification of Autonomous Robot Missions
inferredcites →https://doi.org/10.1007/978-3-319-15024-6_10openalex-snapshot
An Integrated Framework for Mobile-Based ADAS Simulation
inferredcites →https://doi.org/10.1007/978-3-319-47443-4_12openalex-snapshot
From Simulation Data to Test Cases for Fully Automated Driving and ADAS
inferredcites →https://doi.org/10.1007/978-3-319-51532-8_15openalex-snapshot
Computer-Aided Compositional Design and Verification for Modular Robots
inferredcites →https://doi.org/10.1007/978-3-319-59719-5_5openalex-snapshot
Verification Challenges for Autonomous Systems
inferredcites →https://doi.org/10.1007/978-3-319-66845-1_2openalex-snapshot
Modelling and Verification of Timed Robotic Controllers
inferredcites →https://doi.org/10.1007/978-3-319-66972-4_15openalex-snapshot
Challenges for the Validation and Testing of Automated Driving Functions
inferredcites →https://doi.org/10.1007/978-3-319-67113-0_8openalex-snapshot
CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours
inferredcites →https://doi.org/10.1007/978-3-319-67361-5_40openalex-snapshot
AirSim: High-Fidelity Visual and Physical Simulation for Autonomous Vehicles
inferredcites →https://doi.org/10.1007/978-3-319-67531-2_11openalex-snapshot
Combining Model Checking and Runtime Verification for Safe Robotics
inferredcites →https://doi.org/10.1007/978-3-319-77935-5_2openalex-snapshot
Formal Assurance for Cooperative Intelligent Autonomous Agents
inferredcites →https://doi.org/10.1007/978-3-319-97301-2_10openalex-snapshot
Compositional Verification for Autonomous Systems with Deep Learning Components
inferredcites →https://doi.org/10.1007/978-3-540-30206-3_12openalex-snapshot
Monitoring Temporal Properties of Continuous Signals
inferredcites →https://doi.org/10.1007/978-3-642-15651-9_26openalex-snapshot
Experiences in Applying Formal Verification in Robotics
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_47openalex-snapshot
PRISM 4.0: Verification of Probabilistic Real-Time Systems
inferredcites →https://doi.org/10.1007/978-3-642-33675-1_27openalex-snapshot
Formal Verification of a Safety Argumentation and Application to a Complex UAV System
inferredcites →https://doi.org/10.1007/978-3-642-37694-8_4openalex-snapshot
Model Checking for Verification in UAV Cooperative Control Applications
inferredcites →https://doi.org/10.1007/978-3-642-54862-8_13openalex-snapshot
FDR3 — A Modern Refinement Checker for CSP
inferredcites →https://doi.org/10.1007/978-3-658-16988-6openalex-snapshot
17. Internationales Stuttgarter Symposium
inferredcites →https://doi.org/10.1007/s10009-015-0378-xopenalex-snapshot
MCMAS: an open-source model checker for the verification of multi-agent systems
inferredcites →https://doi.org/10.1007/s10458-011-9175-4openalex-snapshot
Evolutionary testing of autonomous software agents
inferredcites →https://doi.org/10.1007/s10458-019-09409-xopenalex-snapshot
VerifCar: a framework for modeling and model checking communicating autonomous vehicles
inferredcites →https://doi.org/10.1007/s10472-011-9270-xopenalex-snapshot
Kripke modelling and verification of temporal specifications of a multiple UAV system
inferredcites →https://doi.org/10.1007/s10664-018-9670-1openalex-snapshot
On the search for industry-relevant regression testing research
inferredcites →https://doi.org/10.1007/s10846-018-0901-xopenalex-snapshot
Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking
inferredcites →https://doi.org/10.1007/s11219-016-9322-xopenalex-snapshot
SERP-test: a taxonomy for supporting industry–academia communication
inferredcites →https://doi.org/10.1007/s11277-013-1107-yopenalex-snapshot
A Framework for Testing of Wireless Underwater Robots
inferredcites →https://doi.org/10.1007/s12369-019-00516-zopenalex-snapshot
Perceived Human-Likeness of Social Robots: Testing the Rasch Model as a Method for Measuring Anthropomorphism
inferredcites →https://doi.org/10.1016/0164-1212(90)90074-vopenalex-snapshot
TRIO: A logic language for executable specifications of real-time systems
inferredcites →https://doi.org/10.1016/j.compeleceng.2019.01.016openalex-snapshot
An integrated framework for the realistic simulation of multi-UAV applications
inferredcites →https://doi.org/10.1016/j.eswa.2011.04.067openalex-snapshot
Behavioral modeling and verification of multi-agent systems for manufacturing control
inferredcites →https://doi.org/10.1016/j.ifacol.2016.10.332openalex-snapshot
Verifying Collision Avoidance Behaviours for Unmanned Surface Vehicles using Probabilistic Model Checking
inferredcites →https://doi.org/10.1016/j.ifacol.2017.08.1236openalex-snapshot
Decomposing the model-checking of mobile robotics actions on a grid
inferredcites →https://doi.org/10.1016/j.ifacol.2017.08.1287openalex-snapshot
Parametric formal verification: the robotic paint spraying case study
inferredcites →https://doi.org/10.1016/j.jss.2017.10.031openalex-snapshot
Adaptive generation of challenging scenarios for testing and evaluation of autonomous vehicles
inferredcites →https://doi.org/10.1016/j.micpro.2015.10.006openalex-snapshot
Formal verification of robotic surgery tasks by reachability analysis
inferredcites →https://doi.org/10.1016/j.procir.2019.04.269openalex-snapshot
Evaluating and Optimizing Chaotically Behaving Mobile Robots with a Deterministic Simulation
inferredcites →https://doi.org/10.1016/j.robot.2015.11.012openalex-snapshot
Formal verification of ethical choices in autonomous systems
inferredcites →https://doi.org/10.1016/j.robot.2017.07.001openalex-snapshot
Performance verification for robot missions in uncertain environments
inferredcites →https://doi.org/10.1016/j.scico.2019.01.004openalex-snapshot
Verified simulation for robotics
inferredcites →https://doi.org/10.1016/j.trc.2019.07.027openalex-snapshot
A Vehicle-in-the-Loop (VIL) verification of an all-autonomous intersection control scheme
inferredcites →https://doi.org/10.1080/00207540412331312688openalex-snapshot
The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
inferredcites →https://doi.org/10.1109/4235.996017openalex-snapshot
A fast and elitist multiobjective genetic algorithm: NSGA-II
inferredcites →https://doi.org/10.1109/access.2019.2943184openalex-snapshot
A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving
inferredcites →https://doi.org/10.1109/access.2020.3048047openalex-snapshot
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review
inferredcites →https://doi.org/10.1109/aero44139.2019openalex-snapshot
2019 IEEE Aerospace Conference
inferredcites →https://doi.org/10.1109/aitest46411.2019openalex-snapshot
2019 IEEE International Conference On Artificial Intelligence Testing (AITest)
inferredcites →https://doi.org/10.1109/aitest49225.2020.00011openalex-snapshot
Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review
inferredcites →https://doi.org/10.1109/ase.2019.00013openalex-snapshot
Experience Paper: Search-Based Testing in Automated Driving Control Applications
inferredcites →https://doi.org/10.1109/ccta.2017.8062747openalex-snapshot
Testing and performance enhancement of a model-based designed ground controller for a diamond-shaped unmanned air vehicle (UAV)
inferredcites →https://doi.org/10.1109/cdc32025.2016openalex-snapshot
2016 IEEE 55th Conference on Decision and Control (CDC)
inferredcites →https://doi.org/10.1109/cis-ram47153.2019openalex-snapshot
2019 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, Automation and Mechatronics (RAM)
inferredcites →https://doi.org/10.1109/cybersec201640843.2016openalex-snapshot
2016 Cybersecurity Symposium (CYBERSEC)
inferredcites →https://doi.org/10.1109/dese44260.2018openalex-snapshot
2018 11th International Conference on Developments in eSystems Engineering (DeSE)
inferredcites →https://doi.org/10.1109/ecbs19028.2011openalex-snapshot
2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
inferredcites →https://doi.org/10.1109/formalise36623.2015openalex-snapshot
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
inferredcites →https://doi.org/10.1109/formalise41807.2017openalex-snapshot
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
inferredcites →https://doi.org/10.1109/ibcast.2017.7868084openalex-snapshot
Formal modelling and verification approach for improving probabilistic behaviour of Robot Swarms
inferredcites →https://doi.org/10.1109/icarcv.2018.8581290openalex-snapshot
An hybrid simulation tool for autonomous cars in very high traffic scenarios
inferredcites →https://doi.org/10.1109/iccps43340.2018openalex-snapshot
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)
inferredcites →https://doi.org/10.1109/iccve45908.2019openalex-snapshot
2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE)
inferredcites →https://doi.org/10.1109/icia36264.2015openalex-snapshot
2015 IEEE International Conference on Information and Automation
inferredcites →https://doi.org/10.1109/icis41919.2018openalex-snapshot
2018 IEEE/ACIS 17th International Conference on Computer and Information Science (ICIS)
inferredcites →https://doi.org/10.1109/icmsr.2019.8835477openalex-snapshot
A Comprehensive Simulation Platform for Testing Autonomous Vehicles in 3D Virtual Environment
inferredcites →https://doi.org/10.1109/icnsurv.2017.8011938openalex-snapshot
Formal verification of trustworthiness requirements for Small Unmanned Aerial Systems
inferredcites →https://doi.org/10.1109/icra.2019.8793875openalex-snapshot
Julia for robotics: simulation and real-time control in a high-level programming language
inferredcites →https://doi.org/10.1109/icra.2019.8794430openalex-snapshot
Force-based Heterogeneous Traffic Simulation for Autonomous Vehicle Testing
inferredcites →https://doi.org/10.1109/icse-c.2017.67openalex-snapshot
Software-Related Challenges of Testing Automated Vehicles
inferredcites →https://doi.org/10.1109/icse.2019.00108openalex-snapshot
Guiding Deep Learning System Testing Using Surprise Adequacy
inferredcites →https://doi.org/10.1109/icsm.1999.792604openalex-snapshot
Test case prioritization: an empirical study
inferredcites →https://doi.org/10.1109/icsrs48664.2019openalex-snapshot
2019 4th International Conference on System Reliability and Safety (ICSRS)
inferredcites →https://doi.org/10.1109/icstw47299.2019openalex-snapshot
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
inferredcites →https://doi.org/10.1109/ictai36975.2015openalex-snapshot
2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI)
inferredcites →https://doi.org/10.1109/intellisys39997.2017openalex-snapshot
2017 Intelligent Systems Conference (IntelliSys)
inferredcites →https://doi.org/10.1109/iros.2003.1248780openalex-snapshot
2003 IEEE/RSJ international conference on intelligent robots and systems (IROS 2003)
inferredcites →https://doi.org/10.1109/iros.2013.6696520openalex-snapshot
V-REP: A versatile and scalable robot simulation framework
inferredcites →https://doi.org/10.1109/iros20755.2014openalex-snapshot
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems
inferredcites →https://doi.org/10.1109/iros37595.2017openalex-snapshot
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
inferredcites →https://doi.org/10.1109/iros40897.2019openalex-snapshot
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
inferredcites →https://doi.org/10.1109/issre43903.2018openalex-snapshot
2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE)
inferredcites →https://doi.org/10.1109/itsc.2014.6957844openalex-snapshot
RoadView: A traffic scene simulator for autonomous vehicle simulation testing
inferredcites →https://doi.org/10.1109/itsc18090.2011openalex-snapshot
2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC)
inferredcites →https://doi.org/10.1109/itsc42983.2018openalex-snapshot
2018 21st International Conference on Intelligent Transportation Systems (ITSC)
inferredcites →https://doi.org/10.1109/jcai15434.2009openalex-snapshot
2009 International Joint Conference on Artificial Intelligence
inferredcites →https://doi.org/10.1109/jproc.2019.2898267openalex-snapshot
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
inferredcites →https://doi.org/10.1109/les.2016.2644619openalex-snapshot
Testing Autonomous Vehicle Software in the Virtual Prototyping Environment
inferredcites →https://doi.org/10.1109/lra.2019.2894381openalex-snapshot
Everybody Needs Somebody Sometimes: Validation of Adaptive Recovery in Robotic Space Operations
inferredcites →https://doi.org/10.1109/mce.2019.2923899openalex-snapshot
Human–Machine Interface Design and Verification for an Automated Driving System Using System Model and Driving Simulator
inferredcites →https://doi.org/10.1109/met41809.2017openalex-snapshot
2017 IEEE/ACM 2nd International Workshop on Metamorphic Testing (MET)
inferredcites →https://doi.org/10.1109/mits.2010.940211openalex-snapshot
IEEE Intelligent Vehicles Symposium
inferredcites →https://doi.org/10.1109/models-c.2019.00088openalex-snapshot
Design-Time Safety Assessment of Robotic Systems Using Fault Injection Simulation in a Model-Driven Approach
inferredcites →https://doi.org/10.1109/models45730.2019openalex-snapshot
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
inferredcites →https://doi.org/10.1109/oceans.2016.7761401openalex-snapshot
MTS/IEEE Oceans 2016 Conference
inferredcites →https://doi.org/10.1109/qrs.2019.00058openalex-snapshot
Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing
inferredcites →https://doi.org/10.1109/robio49542.2019.8961433openalex-snapshot
CyberEarth: a Virtual Simulation Platform for Robotics and Cyber-Physical Systems
inferredcites →https://doi.org/10.1109/robot.2007.363180openalex-snapshot
USARSim: a robot simulator for research and education
inferredcites →https://doi.org/10.1109/seaa48399.2019openalex-snapshot
2019 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
inferredcites →https://doi.org/10.1109/sescps36640.2015openalex-snapshot
2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems
inferredcites →https://doi.org/10.1109/simpar.2018.8376277openalex-snapshot
An open-source architecture for simulation, execution and analysis of real-time robotics systems
inferredcites →https://doi.org/10.1109/simpar.2018.8376285openalex-snapshot
The sleepwalker framework: Verification and validation of autonomous vehicles by mixed reality LiDAR stimulation
inferredcites →https://doi.org/10.1109/smc.2014.6974453openalex-snapshot
Is verification a requisite for safe adaptive robots?
inferredcites →https://doi.org/10.1109/smc35812.2015openalex-snapshot
2015 IEEE International Conference on Systems, Man, and Cybernetics
inferredcites →https://doi.org/10.1109/tase43516.2018openalex-snapshot
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE)
inferredcites →https://doi.org/10.1109/tcst.2017.2723574openalex-snapshot
Game Theoretic Modeling of Driver and Vehicle Interactions for Verification and Validation of Autonomous Vehicle Control Systems
inferredcites →https://doi.org/10.1109/thms.2015.2425139openalex-snapshot
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
inferredcites →https://doi.org/10.1109/tii.2017.2788901openalex-snapshot
From Offline Towards Real-Time Verification for Robot Systems
inferredcites →https://doi.org/10.1109/tiv.2016.2608003openalex-snapshot
Intelligence Testing for Autonomous Vehicles: A New Approach
inferredcites →https://doi.org/10.1109/tiv.2018.2886678openalex-snapshot
Test Your Self-Driving Algorithm: An Overview of Publicly Available Driving Datasets and Virtual Testing Environments
inferredcites →https://doi.org/10.1109/tiv.2019.2919470openalex-snapshot
A Novel Integrated Simulation and Testing Platform for Self-Driving Cars With Hardware in the Loop
inferredcites →https://doi.org/10.1109/toh.2009.52openalex-snapshot
2011 IEEE International Conference on Robotics and Automation
inferredcites →https://doi.org/10.1109/tro.2019.2937471openalex-snapshot
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
inferredcites →https://doi.org/10.1109/tvcg.2018.2889834openalex-snapshot
A Deep Learning-Based Framework for Intersectional Traffic Simulation and Editing
inferredcites →https://doi.org/10.1109/vr15229.2009openalex-snapshot
2009 IEEE Virtual Reality Conference
inferredcites →https://doi.org/10.1109/wfcs42830.2018openalex-snapshot
2018 14th IEEE International Workshop on Factory Communication Systems (WFCS)
inferredcites →https://doi.org/10.1121/1.4776777openalex-snapshot
ASME International Mechanical Engineering Congress and Exposition
inferredcites →https://doi.org/10.1126/scirobotics.aaw1924openalex-snapshot
Effortless creation of safe robots from modules through self-programming and self-verification
inferredcites →https://doi.org/10.1145/2245276.2245333openalex-snapshot
An integrated architecture for autonomous vehicles simulation
inferredcites →https://doi.org/10.1145/2331147.2331163openalex-snapshot
Verification of Periodically Controlled Hybrid Systems
inferredcites →https://doi.org/10.1145/2377576.2377606openalex-snapshot
Comprehensive standard test suites for the performance evaluation of mobile robots
inferredcites →https://doi.org/10.1145/2700318openalex-snapshot
Property-Driven Design for Robot Swarms
inferredcites →https://doi.org/10.1145/2970276.2970311openalex-snapshot
Testing advanced driver assistance systems using multi-objective search and neural networks
inferredcites →https://doi.org/10.1145/3022099.3022101openalex-snapshot
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions
inferredcites →https://doi.org/10.1145/3022099.3022102openalex-snapshot
Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration
inferredcites →https://doi.org/10.1145/3022099.3022104openalex-snapshot
Multi-Agent Plan Verification with Answer Set Programming
inferredcites →https://doi.org/10.1145/3194085.3194086openalex-snapshot
Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving
inferredcites →https://doi.org/10.1145/3194085.3194087openalex-snapshot
Deep learning for self-driving cars
inferredcites →https://doi.org/10.1145/3243127.3243129openalex-snapshot
Learning-based testing for autonomous systems using spatial and temporal requirements
inferredcites →https://doi.org/10.1145/3302504.3311802openalex-snapshot
Formal verification of neural network controlled autonomous systems
inferredcites →https://doi.org/10.1145/3342355openalex-snapshot
Formal Specification and Verification of Autonomous Robotic Systems
inferredcites →https://doi.org/10.1145/3357231openalex-snapshot
New Opportunities for Integrated Formal Methods
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1155/2016/5309348openalex-snapshot
Automated Search-Based Robustness Testing for Autonomous Vehicle Software
inferredcites →https://doi.org/10.1177/0278364919883338openalex-snapshot
A corroborative approach to verification and validation of human–robot teams
inferredcites →https://doi.org/10.20485/jsaeijae.10.2_197openalex-snapshot
Verification of Advanced Driver Assistance Systems (ADAS) and Autonomous Vehicles with Hardware Emulation-In-The-Loop
inferredcites →https://doi.org/10.21105/joss.00617openalex-snapshot
The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder
inferredcites →https://doi.org/10.3182/20140824-6-za-1003.02809openalex-snapshot
The MAV3DSim: A Simulation Platform for Research, Education and Validation of UAV Controllers
inferredcites →https://doi.org/10.3390/s19204456openalex-snapshot
Multiple Event-Based Simulation Scenario Generation Approach for Autonomous Vehicle Smart Sensors and Devices
inferredcites →https://doi.org/10.4204/eptcs.257.5openalex-snapshot
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
inferredcites →https://doi.org/10.4271/12-02-04-0015openalex-snapshot
Autonomous Vehicles Scenario Testing Framework and Model of Computation
inferredcites →https://doi.org/10.4271/2016-01-0049openalex-snapshot
A Framework for Virtual Testing of ADAS
inferredcites →https://doi.org/10.4271/2016-01-0128openalex-snapshot
Challenges in Autonomous Vehicle Testing and Validation
inferredcites →https://doi.org/10.48550/arxiv.1603.00656openalex-snapshot
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions
inferredcites →https://doi.org/10.5220/0007714503150321openalex-snapshot
Developing and Testing Networked Software for Moving Robots
inferredcites →https://doi.org/10.6028/nist.sp.989openalex-snapshot
19th International Symposium on Automation and Robotics in Construction
inferredcites →https://doi.org/10.7210/jrsj.33.100openalex-snapshot
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS2014)
inferredcites →https://doi.org/10.7210/jrsj.38.56openalex-snapshot
The 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN 2019)
inferredcites →https://doi.org/10.7873/date.2013openalex-snapshot
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/adrr.202500202openalex-snapshot
DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation
inferred← citeshttps://doi.org/10.1002/rob.70189openalex-snapshot
Advances in Autonomous Vehicle Testing: The State of the Art and Future Outlook on Driving Datasets, Simulators, and Proving Grounds
inferred← citeshttps://doi.org/10.1007/978-3-031-28715-2_7openalex-snapshot
Deep Reinforcement Learning for Autonomous Mobile Robot Navigation
inferred← citeshttps://doi.org/10.1007/978-3-031-47705-8_18openalex-snapshot
Formal Modelling and Analysis of a Self-Adaptive Robotic System
inferred← citeshttps://doi.org/10.1007/978-3-031-88546-4_8openalex-snapshot
Review on Verification for Marine Autonomous Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-95497-9_2openalex-snapshot
Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-00236-5_13openalex-snapshot
Design and Testing of Components for a Musculoskeletal Rehabilitation System
inferred← citeshttps://doi.org/10.1007/978-3-032-05073-1_22openalex-snapshot
Analyzing Truck Platoons with Automata Learning and Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-032-11050-3_20openalex-snapshot
Simulation-First Framework to Validate Assistive Robots in Real Scenarios
inferred← citeshttps://doi.org/10.1007/978-981-95-3548-4_2openalex-snapshot
Core Principles of Robotics and Foundations of Programming
inferred← citeshttps://doi.org/10.1007/978-981-97-5675-9_2openalex-snapshot
Formal Verification of Path Planning Safety and Reachability in Unmanned Surface Vehicles
inferred← citeshttps://doi.org/10.1007/s10009-026-00840-6openalex-snapshot
Dynamic calibration of trust and trustworthiness in AI-enabled systems
inferred← citeshttps://doi.org/10.1007/s10515-024-00462-9openalex-snapshot
Automated system-level testing of unmanned aerial systems
inferred← citeshttps://doi.org/10.1007/s11063-025-11732-2openalex-snapshot
Recent Emerging Techniques in Explainable Artificial Intelligence to Enhance the Interpretable and Understanding of AI Models for Human
inferred← citeshttps://doi.org/10.1007/s42452-026-09075-1openalex-snapshot
Agentic AI-driven closed-loop analytical systems for autonomous pharmaceutical method development and regulatory-aware analysis
inferred← citeshttps://doi.org/10.1007/s44163-026-02076-4openalex-snapshot
A systematic AI-based approach for inverse dynamics modelling and validation on UR5 manipulator
inferred← citeshttps://doi.org/10.1007/s44430-026-00044-2openalex-snapshot
Trustworthy agricultural autonomy integrates robot learning safe control and human robot interaction
inferred← citeshttps://doi.org/10.1016/j.ast.2026.112446openalex-snapshot
A model-based error propagation and tolerance-aware framework for the on-orbit assembly of modular space trusses
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112324openalex-snapshot
Analysing Self-Adaptive Systems as Software Product Lines
inferred← citeshttps://doi.org/10.1016/j.neucom.2025.132020openalex-snapshot
Collision avoidance in UAV swarms: A learning-centric perspective on collaborative intelligence
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103221openalex-snapshot
A Configurable Software Model of a Self-Adaptive Robotic System
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103252openalex-snapshot
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs
inferred← citeshttps://doi.org/10.1016/j.tcs.2026.115928openalex-snapshot
A unifying approach to probabilistic testing equivalences
inferred← citeshttps://doi.org/10.1016/j.trc.2025.105254openalex-snapshot
On the robotic uncertainty of fully autonomous traffic: From stochastic car-following to mobility–safety trade-offs
inferred← citeshttps://doi.org/10.1038/s44172-024-00162-yopenalex-snapshot
Bayesian learning for the robust verification of autonomous robots
inferred← citeshttps://doi.org/10.1080/0951192x.2026.2701848openalex-snapshot
Optimizing computational efficiency and precision of UR-5 robotic manipulator through MRSM-based reliability analysis
inferred← citeshttps://doi.org/10.1109/access.2025.3540428openalex-snapshot
Optimization of State Clustering and Safety Verification in Deep Reinforcement Learning Using KMeans++ and Probabilistic Model Checking
inferred← citeshttps://doi.org/10.1109/aero66936.2026.11520157openalex-snapshot
An Engineering Life-Cycle Assurance Process for Autonomous Space Systems
inferred← citeshttps://doi.org/10.1109/airc69745.2026.11631325openalex-snapshot
A Standardized Multi-Dimensional Evaluation Framework for Indoor Autonomous Service Robots
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00277openalex-snapshot
Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00306openalex-snapshot
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
inferred← citeshttps://doi.org/10.1109/caos69069.2026.11666295openalex-snapshot
Verification of Autonomous Maritime Systems: Why and How
inferred← citeshttps://doi.org/10.1109/eras63351.2025.11135768openalex-snapshot
Monitoring Safety Properties for Autonomous Driving Systems with Vision-Language Models
inferred← citeshttps://doi.org/10.1109/iavvc61942.2025.11219468openalex-snapshot
Safety-Critical Physically Informed Scenario Generation and Execution for Autonomous Vehicle Software Validation
inferred← citeshttps://doi.org/10.1109/iavvc63304.2024.10786405openalex-snapshot
Coverage Metrics for a Scenario Database for the Scenario-Based Assessment of Automated Driving Systems
inferred← citeshttps://doi.org/10.1109/icbc59979.2024.10634382openalex-snapshot
Support Remote Attestation for Decentralized Robot Operating System (ROS) using Trusted Execution Environment
inferred← citeshttps://doi.org/10.1109/icetems64039.2024.10965031openalex-snapshot
Designing a 4 DoF Manipulator and a Production Line for Lifting and Transporting Pieces
inferred← citeshttps://doi.org/10.1109/icftic68075.2025.11325026openalex-snapshot
A Metamorphic Relation-Driven Approach for Test Case Generation of Autonomous Unmanned Systems
inferred← citeshttps://doi.org/10.1109/icra57147.2024.10610973openalex-snapshot
Specifying and Monitoring Safe Driving Properties with Scene Graphs
inferred← citeshttps://doi.org/10.1109/icsa-c65153.2025.00051openalex-snapshot
Functional Suitability and Evaluation Metrics for Autonomous Data Center Management: A Case Study of DCAMP
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00163openalex-snapshot
A Differential Testing Framework to Identify Critical AV Failures Leveraging Arbitrary Inputs
inferred← citeshttps://doi.org/10.1109/icstw58534.2023.00017openalex-snapshot
Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems
inferred← citeshttps://doi.org/10.1109/icstw60967.2024.00022openalex-snapshot
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
inferred← citeshttps://doi.org/10.1109/iros60139.2025.11246121openalex-snapshot
Automated Behaviour-Driven Acceptance Testing of Robotic Systems
inferred← citeshttps://doi.org/10.1109/isaes70982.2026.11669745openalex-snapshot
A Generative Multimodal Task Scheduling Framework for Abstract On-Orbit Servicing Robots
inferred← citeshttps://doi.org/10.1109/iv55156.2024.10588652openalex-snapshot
Test-Driven Inverse Reinforcement Learning Using Scenario-Based Testing
inferred← citeshttps://doi.org/10.1109/jiot.2024.3416449openalex-snapshot
Dvatar: Simulating the Binary Firmware of Drones
inferred← citeshttps://doi.org/10.1109/mra.2026.3682914openalex-snapshot
Verification of Autonomous Systems—Guidance for Stakeholders [Standards]
inferred← citeshttps://doi.org/10.1109/qrs-c63300.2024.00143openalex-snapshot
Towards Simplification of Failure Scenarios for Machine Learning-Enabled Autonomous Systems
inferred← citeshttps://doi.org/10.1109/rusautocon69876.2026.11707357openalex-snapshot
Approaches to the Physical Testing of LiDARs, RGB Cameras, Stereo Cameras, and Fisheye Cameras for Mobile Robots
inferred← citeshttps://doi.org/10.1109/sti64222.2024.10950894openalex-snapshot
Design and Implementation of a Vehicle with Integrated Environmental Sensing and Real-Time Monitoring Systems in Radio Active Area
inferred← citeshttps://doi.org/10.1109/tits.2023.3317475openalex-snapshot
Causal Models to Support Scenario-Based Testing of ADAS
inferred← citeshttps://doi.org/10.1109/tse.2025.3601591openalex-snapshot
T4PC: Training Deep Neural Networks for Property Conformance
inferred← citeshttps://doi.org/10.1142/s2737480724020011openalex-snapshot
Editorial: Vicinagearth Safety
inferred← citeshttps://doi.org/10.1142/s2737480726020012openalex-snapshot
Editorial of Special Issue on Low Altitude Technology and Engineering
inferred← citeshttps://doi.org/10.1145/3597503.3639206openalex-snapshot
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems
inferred← citeshttps://doi.org/10.1145/3623503openalex-snapshot
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems
inferred← citeshttps://doi.org/10.1145/3623503.3623533openalex-snapshot
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
inferred← citeshttps://doi.org/10.1145/3631976openalex-snapshot
Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1145/3639478.3639808openalex-snapshot
Towards Automatic Inference of Behavioral Component Models for ROS-Based Robotics Systems
inferred← citeshttps://doi.org/10.1145/3643768openalex-snapshot
How Does Simulation-Based Testing for Self-Driving Cars Match Human Perception?
inferred← citeshttps://doi.org/10.1145/3686038.3686044openalex-snapshot
Encoding Social & Ethical Values in Autonomous Navigation: Philosophies Behind an Interactive Online Demonstration
inferred← citeshttps://doi.org/10.1145/3696001openalex-snapshot
Demo2Test: Transfer Testing of Agent in Competitive Environment with Failure Demonstrations
inferred← citeshttps://doi.org/10.1145/3709159openalex-snapshot
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
inferred← citeshttps://doi.org/10.1145/3712196openalex-snapshot
System Safety Monitoring of Learned Components Using Temporal Metric Forecasting
inferred← citeshttps://doi.org/10.1145/3736177openalex-snapshot
Model Checking of Workflow Nets with Tables and Constraints
inferred← citeshttps://doi.org/10.1145/3746286openalex-snapshot
An Integrated Framework for Scenario-Based Safety Validation and Explainability of Autonomous Vehicles
inferred← citeshttps://doi.org/10.1145/3805029.3818281openalex-snapshot
"A Watering Can That Never Runs Empty": A Case Study on Human-Robot Collaboration for Professional Gardeners
inferred← citeshttps://doi.org/10.1177/18758967251394861openalex-snapshot
Consolidated Control Architecture for Mecanum-Wheeled Mobile Robots Using SMO-MPC-PID-Fuzzy Hybridization
inferred← citeshttps://doi.org/10.21105/joss.09069openalex-snapshot
CommaSuite: Monitoring and Testing of OpenAPI and AsyncAPI Software Interfaces
inferred← citeshttps://doi.org/10.2139/ssrn.5421464openalex-snapshot
A model-independent theory of probabilistic testing
inferred← citeshttps://doi.org/10.23919/iccas66577.2025.11301204openalex-snapshot
Virtual Testbed Implementation for Interoperability Verification of Multi-Robot Control Frameworks
inferred← citeshttps://doi.org/10.2514/6.2026-4493openalex-snapshot
Biped: A Unified Embedded Hardware-Software Platform for Urban Air Mobility and Autonomous Applications
inferred← citeshttps://doi.org/10.26439/ciis2022.6063openalex-snapshot
Trustworthy Autonomous Systems (TAS): The Verifiability Approach
inferred← citeshttps://doi.org/10.31181/sor31202647openalex-snapshot
Stochastic Models for Autonomous Systems and Robotics
inferred← citeshttps://doi.org/10.3233/jifs-235721openalex-snapshot
Deep iterative fuzzy pooling in unmanned robotics and autonomous systems for Cyber-Physical systems
inferred← citeshttps://doi.org/10.32628/cseit241061233openalex-snapshot
Advanced Multi-Robot Path Planning and Control Architecture for Precision Cancer Treatment Systems
inferred← citeshttps://doi.org/10.33059/jseb.v17i1.13711openalex-snapshot
Digitalisasi Pelaporan Indeks K menggunakan K-Smard: Studi Empiris pada Industri Kelapa Sawit Kalimantan Selatan
inferred← citeshttps://doi.org/10.3390/act14090439openalex-snapshot
Simulation-Based Testing of Autonomous Robotic Systems for Surgical Applications
inferred← citeshttps://doi.org/10.3390/app14219648openalex-snapshot
Integration of Artificial Intelligence and Robotic Process Automation: Literature Review and Proposal for a Sustainable Model
inferred← citeshttps://doi.org/10.3390/app15052427openalex-snapshot
Multiple-Valued Logic, Vocabulary Structure, and Linked List for Data Verification in Dialog Communications of Agents
inferred← citeshttps://doi.org/10.3390/computation14090213openalex-snapshot
HERA-GM: Evaluating Conditional Execution Authority for Offline Reinforcement Learning in Tactical Driving
inferred← citeshttps://doi.org/10.3390/electronics14030600openalex-snapshot
Testing and Verification of Connected and Autonomous Vehicles: A Review
inferred← citeshttps://doi.org/10.3390/jmse14151386openalex-snapshot
Toward Standardized Benchmarking of Search-Based Scenario Selection Methods in Autonomous System Validation
inferred← citeshttps://doi.org/10.3390/pr13030832openalex-snapshot
Recent Advances and Challenges in Industrial Robotics: A Systematic Review of Technological Trends and Emerging Applications
inferred← citeshttps://doi.org/10.3390/s26072079openalex-snapshot
A Systematic Review of Safety-Driven Approaches in Human–Robot Collaborative Systems
inferred← citeshttps://doi.org/10.3390/su18178708openalex-snapshot
Systems Thinking for Sustainable Early-Stage Design of Autonomous Residential Robotic Systems: A Safety-by-Design Framework Evaluated Through an Automated Window-Cleaning Robot
inferred← citeshttps://doi.org/10.3390/technologies14050297openalex-snapshot
Robot Performance Evaluation for Engineering Applications: A Systematic Review of Metrics, Methods and Practices
inferred← citeshttps://doi.org/10.3390/vehicles7030100openalex-snapshot
Scenario Metrics for the Safety Assurance Framework of Automated Vehicles: A Review of Its Application
inferred← citeshttps://doi.org/10.4271/12-08-04-0031openalex-snapshot
A Survey of Validation and Verification Methods for AI-Based Vehicle Functions
inferred← citeshttps://doi.org/10.48550/arxiv.2401.14736openalex-snapshot
How does Simulation-based Testing for Self-driving Cars match Human Perception?
inferred← citeshttps://doi.org/10.54733/smar.1555925openalex-snapshot
Applications and Future Perspectives of Swarm Intelligence in Unmanned and Autonomous Systems
inferred← citeshttps://doi.org/10.62906/bs.book.389openalex-snapshot
Physics of Medical Robotics and Assistive Devices
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.