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

Abolfazl Lavaei

Published in: CoRR (2023)

Keyphrases

data driven
high level
trade off
database
databases
clustering algorithm
computational complexity
evolutionary algorithm
special case
medical images
search strategy
optimal strategy