Validation by Abstraction and Refinement.

Sebastian Stock Fabian Vu David Geleßus Michael Leuschel Atif Mashkoor Alexander Egyed

Published in: ABZ (2023)

Keyphrases

high level
neural network
real time
data sets
artificial intelligence
information systems
knowledge base
multi agent
cooperative
search algorithm
preprocessing
search space
special case