Vic, ya estas en BA ? nos juntamos la semana que viene? hay varias cosas para charlar....
Enhanced case studies
organised imports
Add support for LTS bisimulation in FSP
Optimisation that avoid building strategies for loosing games
imports removed
ndippolito thesis examples added
example testing nondet nonblocking
added some TODOs for Daniel and Mariano
log method added
Controller Synthesis returns MTSs (in all its flavours)
minor refactor
- imports
comment for epavese
refactor
enhanced formatting
refactor Strategy Class added
new version
ammended version
to verify
ammended version
some changes for debugging
more exaamples
new version
bugfix
updated syntax
bugFix
- duplicated line