HIGHLIGHTS
SUMMARY
Existing modeling and verification approaches dealing with the uncertainty of human behavior mainly adopt either a game-based or a probabilistic approach. Gamebased approaches model human-robot interaction as an adversarial game, in which human moves are unpredictable, and the robot must be programmed with a proper reaction to any possible contingency. Probabilistic approaches primarily exploit formalisms, such as Markov decision processes (MDPs) to model human behavior and probabilistic model checking to compute the probability that the human performs specific actions and the robot is able to complete the task. November/December 2022 A . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.