Login / Signup

Efficient Regular Linear Temporal Logic Using Dualization and Stratification.

César SánchezJulián Samborski-Forlese
Published in: TIME (2012)
Keyphrases
  • linear temporal logic
  • temporal logic