Login / Signup

Linear Temporal Logic for Regular Cost Functions.

Denis Kuperberg
Published in: Log. Methods Comput. Sci. (2014)
Keyphrases
  • linear temporal logic
  • cost function
  • temporal logic
  • model checking
  • bounded model checking
  • search space reduction
  • learning algorithm
  • probability distribution
  • modal logic