A Maximal Entropy Stochastic Process for a Timed Automaton, .

Published in: ICALP (2) (2013)

Keyphrases

stochastic process
markov chain
stochastic processes
finite state machines
stochastic model
brownian motion
probability measures
petri net
steady state
diffusion process
probabilistic model
machine learning
similarity measure
pairwise
model checking