Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm.

Rastislav Lenhardt

Published in: QEST (2013)

Keyphrases

model checking
expectation maximization
verification method
em algorithm
finite state machines
k means
expectation maximisation
probabilistic model
temporal logic
dynamic programming
deterministic finite automaton
optimal solution
np hard
knowledge based systems
finite state
binary decision diagrams