Login / Signup
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