INFAMY

swMATH21177MaRDI QIDQ32989FDOQ32989

Author name not available (Why is that?)

Cited In (4)

• Bayesian statistical model checking with application to Stateflow/Simulink verification
• On-the-fly Fast Mean-Field Model-Checking
• On the memory consumption of probabilistic pushdown automata
• Computing Cumulative Rewards Using Fast Adaptive Uniformization

This page was built for software: INFAMY