Login / Signup
Online Minimization of Transition Systems (Extended Abstract)
David Lee
Mihalis Yannakakis
Published in:
STOC (1992)
Keyphrases
</>
dynamic programming
extended abstract
transition systems
model checking
concurrent systems
temporal logic
real time
control flow
objective function
practical reasoning
web services
reactive systems