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:
CoRR (2013)
Keyphrases
</>
fixed point
linear logic
sufficient conditions
temporal difference learning
logical framework
dynamical systems
initial conditions
approximate value iteration
asymptotic properties
set theory
neural network
image segmentation
dynamic programming
logic programming