Login / Signup
Discrete-Time Promela and Spin.
Dragan Bosnacki
Dennis Dams
Published in:
FTRTFT (1998)
Keyphrases
</>
markov chain
markov processes
support vector
finite state
optimal control problems
real time
data sets
information retrieval
preprocessing