/regret_synthesis_toolbox

Source code for Regret synthesis for two-player turn-based game played on graphs - ICRA 22

Primary LanguagePythonMIT LicenseMIT

Issues