Login / Signup

Constructive Finite Trace Analysis with Linear Temporal Logic.

Martin SulzmannAxel Zechner
Published in: TAP@TOOLS (2012)
Keyphrases
  • linear temporal logic
  • search algorithm
  • knowledge base
  • reinforcement learning
  • simulated annealing
  • orders of magnitude