From Model Checking to Model Measuring.

Thomas A. Henzinger Jan Otop

Published in: CONCUR (2013)

Keyphrases

model checking
temporal logic
finite state machines
model checker
reinforcement learning
multi agent
formal verification
verification method
process algebra
transition systems
reachability analysis