Login / Signup
Demonic Fixed Point of Semantics Function.
Fairouz Tchier
Published in:
Software Engineering Research and Practice (2005)
Keyphrases
</>
fixed point
bellman residual
stationary points
sufficient conditions
fixed point theorem
dynamical systems
free energy
floating point
variational inequalities
policy iteration
three dimensional
probabilistic model
default logic
logical properties
bargaining solution