Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions.

Wil Thomason Hadas Kress-Gazit

Published in: CoRR (2021)

Keyphrases

high level
symbolic description
model checking
data sets
geometric structure
geometric information
real time
bayesian networks
human actions
action selection
symbolic data
consistent query answering
action descriptions