C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies.
Michele Colledanchise
Giuseppe Cicala
Daniele E. Domenichelli
Lorenzo Natale
Armando Tacchella
Published in:
IROS (2021)
Keyphrases
</>
neural network
contextual information
context sensitive
decision trees
context aware
face verification
database
model checking
software agents
user model
execution model
reactive planning