Tweaking the Odds in Probabilistic Timed Automata.
Arnd HartmannsJoost-Pieter KatoenBram KohlenJip SpelPublished in: QEST (2021)
Keyphrases
- timed automata
- model checking
- reachability analysis
- bayesian networks
- generative model
- probabilistic model
- theorem prover
- data driven
- real time
- case study
- conditional probabilities
- temporal logic
- information theoretic
- data sets
- probabilistic relational
- neural network
- probabilistic approaches
- theorem proving
- belief networks
- posterior probability
- genetic algorithm
- first order logic
- graphical models
- state space
- data structure
- reinforcement learning
- website