Sumei Guo

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 2

Top Topics

Linear Time Temporal Logic

Automated Verification

Coalition Logic

Top Venues

Publications

Liping Xiong, Sumei Guo
Model Checking Dynamic Strategy Logic with Memoryless Strategies. CSAE (2020)
Yuejin Wang, Sumei Guo, Hong Huang
The pedestrian detecting and counting system based on automatic method of CCD calibration. ICAIT (2017)