Verifying rLTL formulas: now faster than ever before!

Tzanis Anevlavis Matthew Philippe Daniel Neider Paulo Tabuada

Published in: CDC (2018)

Keyphrases

databases
artificial intelligence
special case
computer vision
information systems
optimal solution
model checking
memory efficient