Avijeet Ghosh

According to our database, Avijeet Ghosh authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Comparing State-Representations for DEL Model Checking.

Gregor Behnke, Malvin Gattinger, Avijeet Ghosh, Haitian Wang

Proceedings of the Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge, November, 2025

Reasoning About Knowledge on Regular Expressions Is 2EXPTIME-Complete.

Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

2023

On Simple Expectations and Observations of Intelligent Agents: A Complexity Study.

Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

On Verifying Expectations and Observations of Intelligent Agents.

Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022