An Efficient Algorithm for Real-Time Symbolic Model Checking.

Jürgen Frößl Thomas Kropf Joachim Gerlach

Published in: ED&TC (1996)

Keyphrases

computational complexity
dynamic programming
learning algorithm
symbolic model checking
optimal solution
preprocessing
np hard
state space