Sign in

Complexity of Safety and coSafety Fragments of Linear Temporal Logic.

Alessandro ArtaleLuca GeattiNicola GiganteAndrea MazzulloAngelo Montanari
Published in: CoRR (2022)
Keyphrases
  • linear temporal logic
  • temporal logic
  • bounded model checking
  • computational complexity
  • model checking
  • probability distribution