PLASMA-lab

MaRDI QIDQ44818swMATHFDO

Official website https://core.ac.uk/reader/48182680

Cited in

(7)

• Statistical approximation of optimal schedulers for probabilistic timed automata
• Command-based importance sampling for statistical model checking
• COSMOS
• Ymer
• APMC
• MC2
• PLASMA

This page was built for software: PLASMA-lab