Petr Novotný
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
who talks about the same things
- Krishnendu Chatterjee11 talks
- Đorđe Žikelić3 talks
- Rupak Majumdar21 talks
- Ehsan Kafshdar Goharshady2 talks
- Joost-Pieter Katoen14 talks
- Vikash K. Mansinghka24 talks
| title | conference | date |
|---|---|---|
| Equivalence and Similarity Refutation for Probabilistic Programs | PLDI 2024 | 2024-06-24 |
Searches for a concrete output function f and automated certificates—an upper expectation supermartingale for one program and a lower expectation submartingale… | ||
| nothing matches | ||