Person

Daxin Liu

M. Sc.

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.