Sign in

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