Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
Tomás BrázdilJan KrcálJan KretínskýAntonín KuceraVojtech RehákPublished in: CoRR (2011)
Keyphrases
- stochastic processes
- timed automata
- markov processes
- stochastic process
- model checking
- probability distribution
- reachability analysis
- random fields
- theorem prover
- continuous time bayesian networks
- random variables
- theorem proving
- first order logic
- real time systems
- brownian motion
- finite state
- maximum entropy
- dynamical systems
- conditional random fields
- markov process
- state space
- probabilistic model
- pairwise
- real time