SCOOP

MaRDI QIDQ22540swMATHFDO

Official website http://wwwhome.cs.utwente.nl/~timmer/scoop/index.html

Cited in

(5)

• Efficient modelling and generation of Markov automata
• Analysis of timed and long-run objectives for Markov automata
• MAMA
• Long-Run Rewards for Markov Automata
• Confluence reduction for Markov automata

This page was built for software: SCOOP