The Bouquet Algorithm for Model Checking Unbounded Until.

Shiraj Arora M. V. Panduranga Rao

Published in: CoRR (2019)

Keyphrases

model checking
verification method
deterministic finite automaton
computational complexity
optimal solution
search space
np hard
dynamic programming
temporal logic
ai planning
formal verification