human-advisers

Source code for the method appearing in:

Schuppe, Georg Friedrich, et al. "Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop." In: Robotics: Science and Systems 2023, (2023).

Installation

• Install python requirements, potentially inside a virtual environment.

pip install -r requirements.txt

• Follow the instructions in the PRISM bridge readme and the LTLF2DFA readme.