Resynthesis for sequential circuits designed with a specified initial state.

Hiroyuki Yotsuyanagi Seiji Kajihara Kozo Kinoshita

Published in: VTS (1995)

Keyphrases

initial state
situation calculus
state space
action theories
stationary distribution
optimal policy
heuristic function
decision making
lower bound
dynamic programming
probability distribution
markov decision processes
action sequences