Login / Signup
Retiming for Sequential Circuits with a Specified Initial State and Its Application to Testability Enhancement.
Hiroyuki Yotsuyanagi
Seiji Kajihara
Kozo Kinoshita
Published in:
IEICE Trans. Inf. Syst. (1995)
Keyphrases
</>
initial state
situation calculus
state space
probability distribution
optimal policy
action theories
stationary distribution
belief space
image enhancement
goal state
high speed
markov decision process
conformant planning
image processing
heuristic function
decision makers