18 citations · 54 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Matt Luckcuck, Marie Farrell, Louise Dennis +2
Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testin…
cs.AI2018★ 5 cited
Practical Challenges in Explicit Ethical Machine Reasoning
Louise Dennis, Michael Fisher
We examine implemented systems for ethical machine reasoning with a view to identifying the practical challenges (as opposed to philosophical challenges) posed by the area. We iden…