# Verification of Uncertain POMDPs Using Barrier Certificates

> Research article (2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2018) · cited 17× · AI/ML

**Wikidata**: [openalex:W2823704907](https://www.wikidata.org/wiki/openalex:W2823704907)  
**Source**: https://4ort.xyz/entity/verification-of-uncertain-pomdps-using-barrier-certificates