Publications

Publications for Souymodip Chakraborty

2016
Download
[bibtex]
Souymodip Chakraborty, Joost-Pieter Katoen. On the Satisfiability of Some Simple Probabilistic Logics. Proc. of Logic in Computer Science (LICS), pages 56-66, ACM, 2016.
Show all