Login / Signup
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
Martin Bromberger
Irina Dragoste
Rasha Faqeh
Christof Fetzer
Markus Krötzsch
Christoph Weidenbach
Published in:
FroCoS (2021)
Keyphrases
</>
simple linear
deductive databases
hyperplane
query answering
multi class
expressive power
query language
data sets
machine learning
model checking
active learning
face verification