Validation and Verification of Joint-Actions in Multi-agent Planning.

Amar Nath Rajdeep Niyogi

Published in: ICIT (2015)

Keyphrases

multi agent planning
partial observability
multi agent
agent programming
partially observable
model checking
situation calculus
planning problems
decision theoretic
learning agent
plan recognition
belief space
markov decision process
belief state
machine learning
mobile robot
bayesian networks