Login / Signup

Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.

Vladimir V. Rybakov
Published in: CSR (2006)
Keyphrases
  • learning algorithm
  • orders of magnitude
  • linear programming
  • machine learning
  • evolutionary algorithm
  • domain specific
  • temporal logic
  • hill climbing