Last released Feb 2, 2021
SpotOnDocker is a utility which exposes some of spot (spot.lrde.epita.fr) functionality as a dockerized service.
Last released Nov 26, 2019
Infinite Games on graph and Logic-based controller Synthesis
Supported by
