Suwadith / Robot-Maze-B-Machine

B-specification of a Robot moving around a simple Maze, using the B tools (Atelier B & ProB)
5Updated 4 years ago

Alternatives and similar repositories for Robot-Maze-B-Machine:

Users that are interested in Robot-Maze-B-Machine are comparing it to the libraries listed below