Login / Signup
The Probabilistic Model Checker Storm.
Christian Hensel
Sebastian Junges
Joost-Pieter Katoen
Tim Quatmann
Matthias Volk
Published in:
CoRR (2020)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
set theory
symbolic model checking
test suite
bayesian networks
ai planning
specification language
computational intelligence
reinforcement learning
artificial intelligence
search algorithm