Verifying Refinement of Probabilistic Contracts Using Timed Automata.
Anton HampusMattias NybergPublished in: TASE (2023)
Keyphrases
- timed automata
- model checking
- reachability analysis
- temporal logic
- bayesian networks
- first order logic
- supply chain
- data driven
- probabilistic model
- uncertain data
- probabilistic reasoning
- generative model
- data structure
- distributed systems
- data sets
- conditional probabilities
- probabilistic logic
- query refinement
- decision trees