Concavely-Priced Probabilistic Timed Automata.
Marcin JurdzinskiMarta Z. KwiatkowskaGethin NormanAshutosh TrivediPublished in: CONCUR (2009)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- probabilistic model
- generative model
- first order logic
- bayesian networks
- theorem proving
- data driven
- data sets
- real time systems
- relational databases
- case study
- image processing
- information theoretic
- posterior probability
- information systems
- genetic algorithm
- neural network