Login / Signup

An Efficient Algorithm for Minimizing Real-time Transition Systems.

Mihalis YannakakisDavid Lee
Published in: CAV (1993)
Keyphrases
  • real time
  • search space
  • learning algorithm
  • computational complexity
  • np hard