Lanlan Dong

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 2

Top Topics

Epistemic Logic

Formal Specification

Top Venues

Publications

Lanlan Dong, Guanjun Liu, Dongming Xiang
BUCKER 2.0: An Unfolding Based Checker for CTL. ICNSC (2019)
Lanlan Dong, Guanjun Liu, Dongming Xiang
Verifying CTL with Unfoldings of Petri Nets. ICA3PP (4) (2018)
Liu Yang, Gang Wu, Yuyao Song, Lanlan Dong
Grain Moisture Sensor Data Fusion Based on Improved Radial Basis Function Neural Network. CCTA (2) (2012)