Daxin Liu


Daxin Liu

M. Sc.

Associated doctoral researcher

Download digital business card
Computer Science Departement, RTG UnRAVeL


Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen

Dissertation project
Probabilistic Action Formulisms with Applications to Robotics
Bi-Weekly Talk: Daxin Liu: Verification of Belief Programs
Bi-Weekly Talk: Reasoning about uncertainty
Präsentation: Daxin Liu

Publications related to UnRAVeL

Source Author(s)
On the Verification of Belief Programs, 2022
Liu, Daxin (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)
[Contribution to a conference proceedings]
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic
In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
[DOI: 10.24963/ijcai.2021/269]
Liu, Daxin (Corresponding author)
Lakemeyer, Gerhard
[Contribution to a conference proceedings]
On the Progression of Belief
In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
[DOI: 10.24963/kr.2021/44]
Liu, Daxin (Corresponding author)
Feng, Qihui
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard
Dannert, Katrin M.
Lindner, Peter
et al.