Jump to Content

Probabilistic verification for ``black-box'' systems

Proceedings of the 17th International Conference on Computer Aided Verification, Springer, Berlin / Heidelberg (2005), pp. 253-265

Abstract

Research Areas