Vol-3553⫷ Vol-3554 ⫸Vol-3555
urn:nbn:de:0074-3554-0


Vol-3554/paper29⫷Vol-3554/paper30⫸Vol-3554/paper31
Franca Corradini

Probabilistic Modelling for Design and Verification of Trustworthy Autonomous Systems