Assume-guarantee reasoning framework for MDP-POMDP
| Title | Assume-guarantee reasoning framework for MDP-POMDP |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Zhang, Xiaobin, Wu, Bo, Lin, Hai |
| Conference Name | Decision and Control (CDC), 2016 IEEE 55th Conference on |
| Publisher | IEEE |
| Keywords | 1446288 |
| Citation Key | zhang2016assume |