Guha, Shibashis

2 publications

IJCAI 2025 Continuous-Time Reward Machines Amin Falah, Shibashis Guha, Ashutosh Trivedi

IJCAI 2017 An Abstraction-Refinement Methodology for Reasoning About Network Games Guy Avni, Shibashis Guha, Orna Kupferman