On Verifying Expectations and Observations of Intelligent Agents. - Sourav Chakraborty 001; Avijeet Ghosh; Sujata Ghosh; François Schwarzentruber (IJCAI, 2022)

On Simple Expectations and Observations of Intelligent Agents: A Complexity Study. - Sourav Chakraborty 001; Avijeet Ghosh; Sujata Ghosh; François Schwarzentruber (KR, 2023)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete. - Avijeet Ghosh; Sujata Ghosh; François Schwarzentruber (CoRR, 2025)