Login / Signup

Parametric Temporal Logic for "Model Measuring".

Rajeev AlurKousha EtessamiSalvatore La TorreDoron A. Peled
Published in: ICALP (1999)
Keyphrases
  • temporal logic
  • search algorithm
  • reinforcement learning
  • model checking
  • satisfiability problem
  • verification method