A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems.

Karsten Martiny, Ralf Mller

Browse the full ICAART paper archive.