Sign in

Standpoint Linear Temporal Logic.

Nicola GiganteLucía Gómez ÁlvarezTim S. Lyon
Published in: KR (2023)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • infinite horizon