An Efficient Algorithm for Minimizing Real-Time Transition Systems.

Mihalis Yannakakis David Lee

Published in: Formal Methods Syst. Des. (1997)

Keyphrases

real time
dynamic programming
learning algorithm
computational complexity
np hard
artificial intelligence
optimal solution
concurrent systems