Model Reduction of Modules for State-Even Temporal Logics.

Mark Lawford Jonathan S. Ostroff Walter Murray Wonham

Published in: FORTE (1996)

Keyphrases

probabilistic model
mathematical model
temporal logic
probability distribution
image sequences
lower bound
process model
conceptual model
predicate logic