Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions.

Wil Thomason Hadas Kress-Gazit

Published in: IEEE Trans. Robotics (2023)

Keyphrases

high level
symbolic description
model checking
machine learning
computer vision
geometric constraints
database
genetic algorithm
artificial intelligence
video sequences
spatio temporal
level set
state transition
action sequences
damage assessment