This is the graphical interface for the STV model checker, which is available here: https://github.com/blackbat13/ATLFormulaChecker
Please keep note that this is work in progress.
This tool was submitted to a Demo Session at AAMAS 2019: http://www.ifaamas.org/Proceedings/aamas2019/pdfs/p2372.pdf
- Python 3.7 or higher
- Windows/Linux
