Backwards Reachability for Probabilistic Timed Automata: A Replication Report.
Arnd HartmannsBram KohlenPublished in: CoRR (2022)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- state space
- uncertain data
- theorem proving
- fault tolerant
- neural network
- probabilistic logic
- probabilistic model
- databases
- information theoretic
- first order logic
- generative model
- bayesian networks
- data sets
- distributed databases
- conditional probabilities
- expressive power
- real time systems
- data partitioning
- probabilistic approaches
- social networks