Algebraic Derivation of Until Rules and Application to Timer Verification.

Jessica Ertel Roland Glück Bernhard Möller

Published in: RAMiCS (2018)

Keyphrases

association rules
human experts
application specific
databases
real world
knowledge base
image processing
search algorithm
expert systems
model checking
active databases