Computing Inductive Invariants of Regular Abstraction Frameworks.

Philipp Czerner Javier Esparza Valentin Krasotin Christoph Welzel-Mohr

Published in: CONCUR (2024)

Keyphrases

high level
inductive learning
machine learning
real time
data sets
information retrieval
computer vision
image processing
database systems
data structure
search algorithm
multi agent systems
inductive inference
moment invariants