A Method to Analyze Predicate Transition Nets Using SPIN Model Checker.

Dewan Mohammad Moksedul Alam Xudong He

Published in: Int. J. Softw. Eng. Knowl. Eng. (2017)

Keyphrases

knowledge acquisition
reinforcement learning
knowledge representation
edge detection
fuzzy sets
orders of magnitude