Combining Model Learning and Model Checking to Analyze TCP Implementations.

Paul Fiterau-Brostean Ramon Janssen Frits W. Vaandrager

Published in: CAV (2) (2016)

Keyphrases

model checking
reinforcement learning
temporal properties
learning algorithm
temporal logic
model checker
reactive systems
multi agent systems
knowledge representation
process model
epistemic logic
verification method
process algebra