Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems.
Javier EsparzaVincent P. GrandePublished in: ICALP (2023)
Keyphrases
- black box
- partially observable
- stochastic systems
- white box
- test cases
- integration testing
- white box testing
- state space
- markov decision processes
- reinforcement learning
- decision problems
- dynamical systems
- belief state
- confidence intervals
- infinite horizon
- stochastic models
- machine learning
- reward function
- sample path
- random variables
- supply chain
- probability distribution