Safety property comparison between Gröbner bases and BDD-based model checking method.

Saifulza Alwi Yasutaka Fujimoto

Published in: ICARCV (2014)

Keyphrases

model checking
verification method
temporal logic
artificial intelligence
search algorithm
dynamic programming
distributed systems
transition systems