aria-systems-group / regret_synthesis_toolbox

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

MIT License

0 stars 0 forks source link

Kandai/multi objective strategy synthesis #2

Closed watakandai closed 2 years ago

watakandai commented 2 years ago

Sorry!

Sorry for the PR to be tooooooo big. Please simply run python main.py to verify if things work or not.

Added

Multi-Objective Solver
A few examples related to the solver
Some other classes like Simulator, Logger, PrismInterface.
These classes may not be needed. We can delete them later. For now, please just leave it alnoe.

A few things to consider

conda env name. For now, I reverted back to adam_can_play_any_strategy. I will remove it when merging.
wombats library is not included. I do add to the python path in some jupyter notebooks if needed.