×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [probabilistic operator]
Statistical Probabilistic Model Checking Håkan L. S. Younes Carnegie Mellon University
217 views
Probabilistic Verification of Discrete Event Systems
43 views
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling
41 views
Statistical Probabilistic Model Checking
42 views
Probabilistic Verification for “Black-Box” Systems
39 views
Probabilistic Verification of Discrete Event Systems
35 views
Probabilistic Verification of Discrete Event Systems
37 views