Navigation
Projects
Signed in as: AnonymousUser
Settings
Log out
Help
Support
Docs
Getting started
Status
Sign up
Log in
You are using our new beta dashboard.
We would love to have your feedback
. If you encounter problems,
return to our normal dashboard
.
iglsynth
EN
controller-synthesis
extensive-form-games
formal-logic
formal-methods
game-theoretic-algorithms
hypergame
infinite-games
reactive-synthesis
temporal-logic
Maintainers
Repository
https://github.com/abhibp1993/iglsynth.git
Versions
3
Builds
43
Version stable
/
Builds
/
#10026461
stable
Output
Raw log
Debug
View docs
There was an error with this build
Loading