/QuantSynthesis

A tool for controller synthesis with mean-payoff and other quantitative objectives, using ADDs

Primary LanguageCGNU General Public License v3.0GPL-3.0

QuantSynthesis

A tool for controller synthesis with mean-payoff and other quantitative objectives, using ADDs