Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy.

Abolfazl Lavaei

Published in: CDC (2023)

Keyphrases

data driven
high level
real world
search strategy
selection strategy
database
case study
three dimensional
low level
search strategies
connectionist learning