Login / Signup
Parametric Temporal Logic for "Model Measuring".
Rajeev Alur
Kousha Etessami
Salvatore La Torre
Doron A. Peled
Published in:
ICALP (1999)
Keyphrases
</>
temporal logic
search algorithm
reinforcement learning
model checking
satisfiability problem
verification method