papers
Publications (7)
cs.LO2019
Semantics of higher-order probabilistic programs with conditioning
Fredrik Dahlqvist, Dexter Kozen
cs.PL2018
Cantor meets Scott: Semantic Foundations for Probabilistic Networks
Steffen Smolka, Praveen Kumar, Nate Foster +2
cs.LO2007
Coinductive Proof Principles for Stochastic Processes
Dexter Kozen
cs.PL2019
Scalable Verification of Probabilistic Networks
Steffen Smolka, Praveen Kumar, David M Kahn +4
cs.LO2009
Applications of Metric Coinduction
Dexter Kozen, Nicholas Ruozzi
cs.FL2013
Infinitary Axiomatization of the Equational Theory of Context-Free Languages
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen
cs.PL2018
Probabilistic Program Equivalence for NetKAT
Steffen Smolka, Praveen Kumar, Nate Foster +4