A storm is Coming: A Modern Probabilistic Model Checker.

Christian Dehnert Sebastian Junges Joost-Pieter Katoen Matthias Volk

Published in: CoRR (2017)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
symbolic model checking
test suite
bayesian networks
ai planning
planning domains
set theory
distributed systems
general purpose
evolutionary algorithm
relational databases
reinforcement learning