Login / Signup
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