Assume-guarantee reasoning framework for MDP-POMDP

Xiaobin Zhang, Bo Wu, Hai Lin. Assume-guarantee reasoning framework for MDP-POMDP. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 795-800, IEEE, 2016. [doi]

Abstract

Abstract is missing.