Login / Signup
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.
Nikola Benes
Benoît Delahaye
Uli Fahrenberg
Jan Kretínský
Axel Legay
Published in:
CONCUR (2013)
Keyphrases
</>
fixed point
linear logic
sufficient conditions
dynamical systems
initial conditions
logic programming
set theory
approximate value iteration
logical framework
temporal difference learning
modal logic
asymptotic properties
neural network
belief propagation
desirable properties
free energy