Timed State Space Analysis of Real-Time Preemptive Systems.

Giacomo Bucci Andrea Fedeli Luigi Sassoli Enrico Vicario

Published in: IEEE Trans. Software Eng. (2004)

Keyphrases

real time
state space
management system
video sequences
control system
intelligent systems
complex systems
machine learning
information retrieval
database systems
image analysis
computer systems
learning systems
quality of service
heuristic search
markov decision processes