Learning based supervisor synthesis of pomdp for pctl specifications
| Title | Learning based supervisor synthesis of pomdp for pctl specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Zhang, Xiaobin, Wu, Bo, Lin, Hai |
| Conference Name | Decision and Control (CDC), 2015 IEEE 54th Annual Conference on |
| Publisher | IEEE |
| Keywords | 1446288 |
| Citation Key | zhang2015learning |