Offline monitoring of LTL with bit vectors.

Kun Xie Sylvain Hallé

Published in: SAC (2021)

Keyphrases

bit vectors
bit vector
temporal logic
model checking
hash table
locality sensitive hashing
object recognition
high dimensional
state space
gray code
lookup tables