Travelled to:1 × USA
Collaborated with:N.Foster A.Guha D.Kozen K.Mamouras A.S.0001
Talks about:probabilist (1) network (1) control (1) verifi (1) machin (1) net (1) kat (1)
Person: Mark Reitblatt
DBLP: Reitblatt:Mark
Contributed to:
2013
2016Wrote 2 papers:
- PLDI-2013-GuhaRF #network
- Machine-verified network controllers (AG, MR, NF), pp. 483–494.
- ESOP-2016-FosterKMR0 #probability
- Probabilistic NetKAT (NF, DK, KM, MR, AS0), pp. 282–309.