29 citations · 30 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023★ 1 cited
Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments
Iqra Aslam, Adina Aniculaesei, Abhishek Buragohain +2
Last-mile delivery of goods has gained a lot of attraction during the COVID-19 pandemic. However, current package delivery processes often lead to parking in the second lane, which…
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…