Publisher
Springer Nature Switzerland
Reference27 articles.
1. Alves, E.E., Bhatt, D., Hall, B., Driscoll, K., Murugesan, A., Rushby, J.: Considerations in assuring safety of increasingly autonomous systems. Tech. rep. (2018)
2. Asaadi, E., Denney, E., Menzies, J., Pai, G.J., Petroff, D.: Dynamic assurance cases: a pathway to trusted autonomy. Computer 53(12), 35–46 (2020)
3. Aslansefat, K., et al.: Safedrones: real-time reliability evaluation of UAVs using executable digital dependable identities. In: International Symposium on Model-Based Safety and Assessment, pp. 252–266. Springer (2022). https://doi.org/10.1007/978-3-031-15842-1_18
4. Assurance Case Working Group, S.C.S.C.: GSN Community Standard Version 3 (2021)
5. Bloomfield, R., Rushby, J.: Assessing Confidence with Assurance 2.0 (2023)