PDT Logic: A probabilistic doxastic temporal logic for reasoning about beliefs in multi-Agent systems

Karsten Martiny, Ralf Möller

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'PDT Logic: A probabilistic doxastic temporal logic for reasoning about beliefs in multi-Agent systems'. Together they form a unique fingerprint.

Computer Science