INFAMY

MaRDI QIDQ32989swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1575113

Cited in

(9)

• Computing cumulative rewards using fast adaptive uniformization
• On-the-fly fast mean-field model-checking
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• APMC
• MARCIE
• SABRE
• PALOMA
• On the memory consumption of probabilistic pushdown automata
• SBML Test Suite

This page was built for software: INFAMY