DMCA

A Monte Carlo Model Checker for Probabilistic LTL with Numerical Constraints

by Robin Donaldson , David Gilbert
Citations:11 - 1 self