PhD Examination

Dr. Karsten Martiny
PDT Logic: A Probabilistic Doxastic Temporal Logic about Reasoning about Beliefs in Mulit-agent Systems
2016
Presentation
Full Text