Collaborated with:S.Smolka N.Foster D.Kozen A.S.0001 David M. Kahn J.Hsu
Talks about:probabilist (2) network (2) scalabl (1) foundat (1) semant (1) cantor (1) verif (1) scott (1) meet (1)
Person: Praveen Kumar 0003
DBLP: 0003:Praveen_Kumar
Contributed to:
2017
2019Wrote 2 papers:
- POPL-2017-SmolkaKFK0 #network #probability #semantics
- Cantor meets scott: semantic foundations for probabilistic networks (SS, PK0, NF, DK, AS0), pp. 557–571.
- PLDI-2019-SmolkaKKFHK0 #network #probability #scalability #verification
- Scalable verification of probabilistic networks (SS, PK0, DMK, NF, JH, DK, AS0), pp. 190–203.