ML Anthology

Martiny, Karsten

1 publications

JAIR 2016 PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning About Beliefs in Multi-Agent Systems Karsten Martiny, Ralf Möller