Measuring performance of continuous-time stochastic processes using timed automata.
Tomás BrázdilJan KrcálJan KretínskýAntonín KuceraVojtech RehákPublished in: HSCC (2011)
Keyphrases
- stochastic processes
- timed automata
- markov processes
- stochastic process
- model checking
- reachability analysis
- probability distribution
- random fields
- theorem prover
- random variables
- continuous time bayesian networks
- first order logic
- theorem proving
- markov process
- brownian motion
- real time systems
- maximum entropy
- information retrieval
- real time
- inference rules
- semi supervised
- state space