Visible to the public Biblio

Filters: Author is Zhang, Xiaobin  [Clear All Filters]
2018-05-25
Zhang, Xiaobin, Wu, Bo, Lin, Hai.  2015.  Learning based supervisor synthesis of pomdp for pctl specifications. Decision and Control (CDC), 2015 IEEE 54th Annual Conference on. :7470–7475.
Zhang, Xiaobin, Zhu, Yinhao, Lin, Hai.  2016.  Performance guaranteed human-robot collaboration through correct-by-design. American Control Conference (ACC), 2016. :6183–6188.
Zhang, Xiaobin, Wu, Bo, Lin, Hai.  2016.  Assume-guarantee reasoning framework for MDP-POMDP. Decision and Control (CDC), 2016 IEEE 55th Conference on. :795–800.
Wu, Bo, Zhang, Xiaobin, Lin, Hai.  2017.  Permissive Supervisor Synthesis for Markov Decision Processes through Learning. arXiv preprint arXiv:1703.07351.
Zhang, Xiaobin, Wu, Bo, Lin, Hai.  2017.  Supervisor Synthesis of POMDP based on Automata Learning. arXiv preprint arXiv:1703.08262.