1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 1 cited
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…
cs.AI2024
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…