Sourav Chakraborty

3 papers in the IJCAI proceedings

IJCAI 2026

Mining Statistically Likely k-Reachable States in Probabilistic Programs

with Arnab Ray, Nitesh Trivedi, Ansuman Banerjee, Arijit Ghosh, Subhajit Roy

doi:10.24963/ijcai.2026/712

Details PDF

IJCAI 2023

Engineering an Efficient Approximate DNF-Counter

with Mate Soos, Divesh Aggarwal, Kuldeep S. Meel, Maciej Obremski

doi:10.24963/ijcai.2023/226

Details PDF

IJCAI 2022

On Verifying Expectations and Observations of Intelligent Agents

with Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

doi:10.24963/ijcai.2022/356

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings