PDT Logic: A Probabilistic Doxastic Temporal Logic about Reasoning about Beliefs in Mulit-agent Systems

Karsten Martiny

Fingerprint

Dive into the research topics of 'PDT Logic: A Probabilistic Doxastic Temporal Logic about Reasoning about Beliefs in Mulit-agent Systems'. Together they form a unique fingerprint.

Mathematics

Computer Science