Person

Daxin Liu

M. Sc.

Associated doctoral researcher

Daxin Liu
Computer Science Departement, RTG UnRAVeL

Address

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

Contact

WorkPhone
Phone: +49 241 80 21531
 
Dissertation project
Probabilistic Action Formulisms with Applications to Robotics
Talks
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)
[Preprint]
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
[Report]
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.