A tool for controller synthesis with mean-payoff and other quantitative objectives, using ADDs
romainbrenguier/QuantSynthesis
A tool for controller synthesis with mean-payoff and other quantitative objectives, using ADDs
CGPL-3.0
A tool for controller synthesis with mean-payoff and other quantitative objectives, using ADDs
CGPL-3.0