SCOOP

swMATH10581MaRDI QIDQ22540FDOQ22540

Author name not available (Why is that?)

Cited In (4)

• Analysis of timed and long-run objectives for Markov automata
• Efficient Modelling and Generation of Markov Automata
• Long-Run Rewards for Markov Automata
• Confluence reduction for Markov automata

This page was built for software: SCOOP