Weikang Duan

According to our database, Weikang Duan authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Bayesian Statistical Model Checking for Continuous Stochastic Logic.

Ratan Lal, Weikang Duan, Pavithra Prabhakar

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020