|
[BCFK15]
Tomáš Brázdil, Krishnendu Chatterjee, Vojtěch Forejt and Antonín Kučera.
MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives.
In Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), volume 9035 of LNCS, pages 181-187, Springer.
2015.
[Presents a tool for multi-objective model checking of mean-payoff properties MDPs, building on several PRISM components.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|