Explore projects

Library for making Starcraft II bots in Python, based on the popular CommandCenter, bound to Python using pybind11. It can also be used for building bots in C++.

Part of development environment. Example on hot to connect a motionplanner to the system.

constrained monotonic abstraction for counter machines

Utility stuff for TST functionality.

The tool PACMAN derives counting invariants for parameterized concurrent programs and incrementally predicate abstracts them, leveraging on a nested constrained monotonic abstraction CEGAR loop which is implemented by its sister project zaama.

Instructions for the support for doing Swarm Experiment with UAVs.