Name		Name	Last commit message	Last commit date
Latex		Latex
SVRAI		SVRAI
tests		tests
.gitignore		.gitignore
.landscape.yml		.landscape.yml
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
main.py		main.py
requirements.txt		requirements.txt
run_travis.sh		run_travis.sh
setup.cfg		setup.cfg
setup.py		setup.py

Repository files navigation

SVRAI

End work for Synthesis, Verification and Reasoning about Intelligent Agents for MULCIA (University of Seville)

About

End work for Synthesis, Verification and Reasoning about Intelligent Agents for MULCIA (University of Seville)

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages