MultiGain: A controller synthesis tool for MDPs with multiple
mean-payoff objectives

MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives

13 January 2015

Vojtěch Forejt

Papers citing "MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives"

Title
No papers