Login / Signup

Linear temporal logic for regular cost functions.

Denis Kuperberg
Published in: STACS (2011)
Keyphrases
  • linear temporal logic
  • cost function
  • temporal logic
  • model checking
  • search space reduction
  • bounded model checking
  • reinforcement learning
  • objective function
  • formal verification