Login / Signup

A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes.

Jean-Michel CouvreurJoaquín Ezpeleta
Published in: SIMPDA (Revised Selected Papers) (2017)
Keyphrases
  • model checking
  • linear temporal logic
  • verification method
  • temporal logic
  • formal specification
  • computational complexity
  • bounded model checking
  • reinforcement learning
  • dynamic programming
  • decision problems