Formal Data Analysis of Timed Finite State Systems.

Jürgen Ruf Thomas Kropf

Published in: ECRTS (2002)

Keyphrases

finite state
data analysis
markov chain
markov decision processes
model checking
formal methods
machine learning
retrieval systems
vector quantizer
optimal solution
least squares
distributed systems
optimal policy