Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.

Yoshifumi Yuasa Yoshinori Tanabe Toshifusa Sekizawa Koichi Takahashi

Published in: VSTTE (2008)

Keyphrases

modal logic
computational cost
temporal logic
optimization algorithm
learning algorithm
objective function
preprocessing
cost function
dynamic programming
particle swarm optimization
matching algorithm
model checking
knowledge base
search space
simulated annealing
detection algorithm