Stochastic Timed Automata.
Nathalie BertrandPatricia BouyerThomas BrihayeQuentin MenetChristel BaierMarcus GrößerMarcin JurdzinskiPublished in: Log. Methods Comput. Sci. (2014)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- first order logic
- theorem proving
- real time systems
- monte carlo
- stochastic model
- neural network
- low cost
- reinforcement learning
- temporal logic
- databases
- stochastic processes
- learning automata
- stochastic optimization
- stochastic programming
- genetic algorithm