Joydeep Biswas

3 papers in the IJCAI proceedings

IJCAI 2026

Learning Quantitative Automata Modulo Theories

with Eric Hsiung, Nathan Tsoi, Swarat Chaudhuri

doi:10.24963/ijcai.2026/250

Details PDF

IJCAI 2019

The Quest For "Always-On" Autonomous Mobile Robots

doi:10.24963/ijcai.2019/893

Details PDF

IJCAI 2018

Interactive Robot Transition Repair With SMT

with Jarrett Holtz, Arjun Guha

doi:10.24963/ijcai.2018/681

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings