An Efficient State Space Generation for Analysis of Real-Time Systems.

Inhye Kang Insup Lee

Published in: ISSTA (1996)

Keyphrases

real time systems
state space
reinforcement learning
open source
real time
artificial intelligence
cooperative
source code
distributed systems
heuristic search