Login / Signup
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs.
YoungMin Kwon
Gul A. Agha
Published in:
QEST (2005)
Keyphrases
</>
model checker
model checking
formal verification
description language
formal methods
reinforcement learning
temporal logic
artificial intelligence
training set
evolutionary algorithm
symbolic model checking