Source code for the study 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).
Please read the README files inside the subfolders for additional instructions.
You can try the study yourself [here]!
The backend server accepts http requests from the frontend and forwards them as inserts into a mySQL database.
A WASM app that runs in the browser. This is the interactive study itself.