Login / Signup

Robust Computation Tree Logic.

Satya Prakash NayakDaniel NeiderRajarshi RoyMartin Zimmermann
Published in: NFM (2022)
Keyphrases
  • computation tree logic
  • model checking
  • temporal logic
  • domain independent