PLASMA-lab

swMATH33109MaRDI QIDQ44818FDOQ44818

Author name not available (Why is that?)

Cited In (2)

• Command-based importance sampling for statistical model checking
• Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

This page was built for software: PLASMA-lab