Safety standards for autonomous drones Owen McAree University of - - PowerPoint PPT Presentation
Safety standards for autonomous drones Owen McAree University of Sheffield 1 Anatomy of autonomy Rational agent Adapted from Dennis, Louise A., et al. "Practical verification of decision-making in agent -based autonomous
1
2
Adapted from Dennis, Louise A., et al. "Practical verification of decision-making in agent
3
– Stability, Robustness, Fault tolerance, etc…
4
– Logic based, Reactive, BDI, SNN, DNN, etc…
– What are the failure modes? – What are the performance requirements? – How do we verify the performance? – How do we ensure coverage in testing?
5
– Provides absolute guarantees
– Provides probabilistic guarantees