Towards Verifying a Blocks World for Teams GOAL Agent.

Alexander Birch Jensen

Published in: ICAART (1) (2021)

Keyphrases

blocks world
multi agent
explanation based learning
multi agent systems
multiagent systems
relational reinforcement learning
situation calculus
agent architecture
learning algorithm
knowledge base
objective function
case based reasoning
model checking