Abstraction-Based Verification for Partially Observed Discrete Event Systems. - Misato Yokotani; Shigemasa Takai (WODES, 2014)