18 citations · 22 across the 7 of their papers we have counts for
3 papers · 1 filter
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis +1
Formal verification of robotic applications presents challenges due to their hybrid nature and distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of RO…
Grand Challenges in the Verification of Autonomous Systems
Kevin Leahy, Hamid Asgari, Louise A. Dennis +6
Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies…
Specifying Agent Ethics (Blue Sky Ideas)
Louise A. Dennis, Michael Fisher
We consider the question of what properties a Machine Ethics system should have. This question is complicated by the existence of ethical dilemmas with no agreed upon solution. We…