This dissertation presents methods for the formal modeling and specification of probabilistic systems, and algorithms for the automated verification of these sy

This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, he

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was t

This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, securit

This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTT