Login / Signup

Standpoint Linear Temporal Logic.

Nicola GiganteLucía Gómez ÁlvarezTim S. Lyon
Published in: CoRR (2023)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • markov chain
  • linear time temporal logic