Repository

https://github.com/abhibp1993/iglsynth.git

Project Slug

iglsynth

Last Built

4 years, 4 months ago passed

Maintainers

Home Page

http://www.akulkarni.me/iglsynth

Badge

Tags

controller-synthesis, extensive-form-games, formal-logic, formal-methods, game-theoretic-algorithms, hypergame, infinite-games, reactive-synthesis, temporal-logic

Short URLs

iglsynth.readthedocs.io
iglsynth.rtfd.io

Default Version

latest

'latest' Version

master