Login / Signup
Data Analysis of Timed Finite State Systems.
Jürgen Ruf
Published in:
MBMV (1) (2001)
Keyphrases
</>
finite state
data analysis
markov chain
model checking
dynamic programming
optimal policy
retrieval systems