Login / Signup

Saturation Replaces Induction for a Miniscoped Linear Temporal Logic.

Regimantas Pliuskevicius
Published in: Formal Methods in Programming and Their Applications (1993)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • machine learning
  • temporally extended goals
  • multi agent systems
  • general purpose