Generation of Multi-Formalism State-Space Analysis Tools.

Mauro Pezzè Michal Young

Published in: ISSTA (1996)

Keyphrases

state space
real time
data analysis
image analysis
learning algorithm
artificial intelligence
information systems
reinforcement learning
objective function
expert systems
description logics
statistical analysis
markov decision processes