Ethics and Security Automata - Demos

To run the code examples in Ethics and Security Automata, it is recommended the reader download and install the GUI version of Prover 9. This is available as a free download for Windows, Mac and Linux from this url:

Files in Prover 9 format (.pr) are provided in this file. The file can be downloaded and the contents extracted into a folder. Prover 9 can then be used to open and run the .pr files.

© Falcon Robotics Ltd 2018