Login / Signup

Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models.

MohammadSadegh MohagheghiJaber KarimpourAyaz Isazadeh
Published in: Comput. J. (2020)
Keyphrases
  • model checking
  • markov models
  • temporal logic
  • artificial intelligence
  • markov model
  • search algorithm
  • verification method
  • dynamic programming
  • temporal properties
  • automated verification