On the Sequential Massart Algorithm for Statistical Model Checking.

Cyrille Jégourel Jun Sun Jin Song Dong

Published in: ISoLA (2) (2018)

Keyphrases

model checking
dynamic programming
verification method
computational complexity
search space
temporal logic
finite state machines
deterministic finite automaton
np hard
nash equilibrium
finite state
formal methods
model checker
reachability analysis