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).
- 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.