Autonomy and Safe Artificial Intelligence: Topics and Challenges
pdf
Reading List
AUV:
https://ocean-server.com/products/
GSN:
https://modeling-languages.com/goal-structuring-notation-introduction/
http://www.goalstructuringnotation.info/ (Part 0 and Part 1)
Verifying autonomous vehicles
https://medium.com/@_FiveAI/guaranteeing-safety-verifying-autonomous-vehicles-2b140ceb87dd
Safety argumentation:
https://users.ece.cmu.edu/~koopman/pubs/koopman18_waise_keynote_slides.pdf (overview)
https://users.ece.cmu.edu/~koopman/pubs/Koopman19_SSS_CredibleSafetyArgumentation.pdf
Submitted by Gabor Karsai
on
pdf
Reading List
AUV:
https://ocean-server.com/products/
GSN:
https://modeling-languages.com/goal-structuring-notation-introduction/
http://www.goalstructuringnotation.info/ (Part 0 and Part 1)
Verifying autonomous vehicles
https://medium.com/@_FiveAI/guaranteeing-safety-verifying-autonomous-vehicles-2b140ceb87dd
Safety argumentation:
https://users.ece.cmu.edu/~koopman/pubs/koopman18_waise_keynote_slides.pdf (overview)
https://users.ece.cmu.edu/~koopman/pubs/Koopman19_SSS_CredibleSafetyArgumentation.pdf
Submitted by Gabor Karsai
on