A Linear Algorithm to Solve Fixed-Point Equations on Transition Systems.

André Arnold Paul Crubillé

Published in: Inf. Process. Lett. (1988)

Keyphrases

fixed point
learning algorithm
np hard
linear systems
matching algorithm
model checking
optimal solution
linear programming
transition systems
objective function
graphical models
sufficient conditions
dynamical systems
floating point
model free
concurrent systems