Black-box Testing Liveness Properties of Partially Observable Stochastic Systems.
Javier EsparzaVincent GrandePublished in: CoRR (2023)
Keyphrases
- black box
- partially observable
- stochastic systems
- white box
- test cases
- integration testing
- white box testing
- state space
- decision problems
- dynamical systems
- markov decision processes
- reinforcement learning
- stochastic models
- belief state
- software testing
- infinite horizon
- sample path
- machine learning
- reward function
- test data
- confidence intervals
- dynamic programming