Automated Verification Techniques for Probabilistic Systems

By Vojtěch Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker. International School on Formal Methods for the Design of Computer, Communication and Software Systems, 2011

382 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/be4e0f172288ba510e7b37c1e662b05f372b696f