|
[STLT23]
Georg Friedrich Schuppe, Ilaria Torre, Iolanda Leite and Jana Tumova.
Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop.
In Proc. 19th Robotics: Science and Systems (RSS).
2023.
[Uses stochastic games models and assume-guarantee reasoning for human-robot systems, with PRISM-games as a solver.]
|
|
Links:
[Google]
[Google Scholar]
|