Synthesis with Mandatory Stop Actions.

Giuseppe De Giacomo Antonio Di Stasio Giuseppe Perelli Shufang Zhu

Published in: KR (2021)

Keyphrases

situation calculus
data sets
computer vision
decision theoretic
databases
machine learning
artificial intelligence
three dimensional
image sequences
bayesian networks
plan recognition
goal directed
multiple agents
action selection
reasoning about actions
program synthesis