|
[WKL+21]
Andrew M. Wells, Zachary Kingston, Morteza Lahijanian, Lydia E. Kavraki and Moshe Y. Vardi.
Finite-Horizon Synthesis for Probabilistic Manipulation Domains.
In Proc. IEEE International Conference on Robotics and Automation (ICRA'21).
2021.
[Presents probabilistic synthesis techniques for collaborative human-robot manipulation tasks with an implementation that uses PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|