Added Value of Probabilistic Model Checking of vGOAL for Autonomous Systems.

Yi Yang, Tom Holvoet

Browse the full PRIMA paper archive.