134 citations · 276 across the 10 of their papers we have counts for
10 papers
Detrive: Imitation Learning with Transformer Detection for End-to-End Autonomous Driving
Daoming Chen, Ning Wang, Feng Chen +1
This Paper proposes a novel Transformer-based end-to-end autonomous driving model named Detrive. This model solves the problem that the past end-to-end models cannot detect the pos…
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves +3
Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provi…
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification
Greg Chance, Abanoub Ghobrial, Severin Lemaignan +2
Simulation-based verification is beneficial for assessing otherwise dangerous or costly on-road testing of autonomous vehicles (AV). This paper addresses the challenge of efficient…
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
Robotic code needs to be verified to ensure its safety and functional correctness, especially when the robot is interacting with people. Testing real code in simulation is a viable…
A Corroborative Approach to Verification and Validation of Human--Robot Teams
Matt Webster, David Western, Dejanira Araiza-Illan +4
We present an approach for the verification and validation (V&V) of robot assistants in the context of human-robot interactions (HRI), to demonstrate their trustworthiness through…
Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-Robot Interaction
Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe +1
Strategies are necessary to mitigate the impact of unexpected behavior in collaborative robotics, and research to develop solutions is lacking. Our aim here was to explore the bene…