Login / Signup

Possibilistic Cost Computation Tree Logic and Related Equivalence, Abstraction Technique.

Hui DengYuzhe ZhangZhilong Huang
Published in: IEEE Access (2023)
Keyphrases
  • computation tree logic
  • model checking
  • temporal logic
  • bounded model checking
  • average cost