On Verifying Expectations and Observations of Intelligent Agents

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

• Video #1 Length : 00:01:29 on SlidesLive
• Video #2 Length : 00:10:42 on SlidesLive