SHSA implementation in Prolog/ProbLog
*.pl files are written in ProbLog.
$ git clone git@github.com:dratasich/shsa.git
$ python3 -m venv shsa-venv
$ source shsa-venv/bin/activate
$ pip install -r shsa/requirements.txtCreating and sourcing the virtual environment (line 2-3) is optional.
See experiments and ROS demos.
Ratasich, D., Platzer, M., Grosu, R., Bartocci, E. Adaptive Fault Detecion exploiting Redundancy with Uncertainties in Space and Time. Self-Adaptive and Self-Organizing Systems (SASO), 2019 13th IEEE International Conference on. IEEE, 2019.