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)
[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.