Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen 0001, Ufuk Topcu. Verification of Uncertain POMDPs Using Barrier Certificates. In 56th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2018, Monticello, IL, USA, October 2-5, 2018. pages 115-122, IEEE, 2018. [doi]
Abstract is missing.