Stochastic Bounded Model Checking: Bounded Rewards and Compositionality.
Bettina BraitlingRalf WimmerBernd BeckerErika ÁbrahámPublished in: MBMV (2013)
Keyphrases
- bounded model checking
- model checking
- formal verification
- temporal logic
- linear temporal logic
- reinforcement learning
- monte carlo
- markov decision processes
- fully observable
- multi agent systems
- finite state
- learning automata
- stochastic model
- multi armed bandits
- credit assignment
- concurrent systems
- search tree
- domain specific
- cooperative