Login / Signup

Online Minimization of Transition Systems (Extended Abstract)

David LeeMihalis 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