Login / Signup

First Order Linear Temporal Logic over Finite Time Structures.

Serenella CerritoMarta Cialdea MayerSébastien Praud
Published in: LPAR (1999)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • knowledge base
  • evolutionary algorithm
  • domain specific
  • markov chain
  • sufficient conditions
  • orders of magnitude
  • transition systems