|
[RSZ+24]
Philippa Ryan, Sepeedeh Shahbeigi, Jie Zou, Ioannis Stefanakos and John Molloy .
A Dynamic Assurance Framework for an Autonomous Survey Drone.
In Proc. Computer Safety, Reliability, and Security (SAFECOMP'24).
2024.
[Proposes a dynamic assurance framework for autonomous systems based on probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|