Miaofei Wang

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Partially Observable

Real Time Dynamic Programming

Markov Decision Processes

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. ACM Trans. Softw. Eng. Methodol. 25 (3) (2016)