Login / Signup
Performance analysis of Israeli-Jalfon's algorithm using probabilistic model checking.
Xu Guo
Published in:
Concurr. Comput. Pract. Exp. (2019)
Keyphrases
</>
model checking
np hard
verification method
dynamic programming
optimal solution
distributed systems
temporal logic
finite state machines
deterministic finite automaton