Martiny, Karsten2023-08-012023-08-012018https://epub.uni-luebeck.de/handle/zhb_hl/1185de4PDT logica probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systemsthesis.doctoral11520301321015900356urn:nbn:de:gbv:841-20171206144