Login / Signup

Improved model checking methods for parametric models with responses missing at random.

Zhihua SunFeifei ChenXiaohua ZhouQingzhao Zhang
Published in: J. Multivar. Anal. (2017)
Keyphrases
  • model checking
  • temporal logic
  • parametric models
  • heuristic search
  • model checker
  • temporal properties
  • process algebra