Jun Yang Koh

Publication Activity (10 Years)

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

Top Topics

Pspace Complete

Formal Specification

Temporal Properties

Top Venues

Publications

Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong
Towards Solving Decision Making Problems Using Probabilistic Model Checking. ICECCS (2017)