Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata.

Alessandro Gianola Marco Montali Sarah Winkler

Published in: AAAI (2024)

Keyphrases

data sources
database
search algorithm
machine learning
learning algorithm
data structure
expert systems
special case
heuristic search