Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1610.09409
Cited By
Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction
28 October 2016
Sebastian Junges
N. Jansen
J. Katoen
Ufuk Topcu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction"
1 / 1 papers shown
Stochastic Games for Interactive Manipulation Domains
IEEE International Conference on Robotics and Automation (ICRA), 2024
Karan Muvvala
Andrew M. Wells
Morteza Lahijanian
Lydia E. Kavraki
Moshe Y. Vardi
163
4
0
07 Mar 2024
1
Page 1 of 1
