29 citations · 29 across the 1 of their papers we have counts for
2 papers
cs.RO2023
Connected Dependability Cage Approach for Safe Automated Driving
Adina Aniculaesei, Iqra Aslam, Daniel Bamal +4
Automated driving systems can be helpful in a wide range of societal challenges, e.g., mobility-on-demand and transportation logistics for last-mile delivery, by aiding the vehicle…
cs.SE2016★ 29 cited
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
Adina Aniculaesei, Daniel Arnsberger, Falk Howar +1
There is an increasing necessity to deploy autonomous systems in highly heterogeneous, dynamic environments, e.g. service robots in hospitals or autonomous cars on highways. Due to…