Collaborated with:
T.Gehr S.Misailovic P.Tsankov L.Vanbever M.T.Vechev
Talks about:
probabilist (1) network (1) bayonet (1) infer (1)
Person: Pascal Wiesmann
DBLP: Wiesmann:Pascal
Contributed to:
Wrote 1 papers:
- PLDI-2018-GehrMTVWV #named #network #probability
- Bayonet: probabilistic inference for networks (TG, SM, PT, LV, PW, MTV), pp. 586–602.