Travelled to:
1 × USA
Collaborated with:
H.C.Cunningham J.S.0001 Q.Yuan J.P.0001
Talks about:
model (2) probabilist (1) framework (1) approach (1) abstract (1) should (1) studi (1) learn (1) layer (1) empir (1)
Person: Jingyi Wang
DBLP: Wang:Jingyi
Contributed to:
Wrote 2 papers:
- SAC-2001-CunninghamW #abstraction #framework
- Building a layered framework for the table abstraction (HCC, JW), pp. 668–674.
- 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.