On Verifying Expectations and Observations of Intelligent Agents.

Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, Franois Schwarzentruber

Browse the full IJCAI paper archive.