Collaborated with:J.Cao Y.Li J.Wang J.S.0001 Q.Yuan
Talks about:model (2) learn (2) probabilist (1) parameter (1) approach (1) automat (1) should (1) verif (1) studi (1) empir (1)
Person: Jun Pang 0001
DBLP: 0001:Jun_Pang
Contributed to:
2018
2017Wrote 2 papers:
- ASE-2018-CaoLP #automation #named #verification
- L-CMP: an automatic learning-based parameterized verification tool (JC, YL, JP0), pp. 892–895.
- FASE-2017-Wang0YP #approach #empirical #model checking #modelling #probability
- Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study (JW, JS0, QY, JP0), pp. 3–21.