Performance analysis of Israeli-Jalfon's algorithm using probabilistic model checking.

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