Sign in

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