Login / Signup

A Simple Rewrite System for the Normalization of Linear Temporal Logic.

Javier EsparzaRubén RubioSalomon Sickert
Published in: CoRR (2023)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • sufficient conditions