Regular Vacuity.

Doron Bustan Alon Flaisher Orna Grumberg Orna Kupferman Moshe Y. Vardi

Published in: CHARME (2005)

Keyphrases

model checking
database
temporal logic
search algorithm
d objects
real world
machine learning
multi agent
feature space
semi supervised
context free