Person

Daxin Liu

M. Sc.

Promotionsstudent

Daxin Liu
Graduiertenkolleg UnRAVeL

Adresse

Gebäude: 2356 (E2), 2. OG

Raum: 5212b

Ahornstr. 55

52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21531
 
Promotionsprojekt
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

 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Bericht]
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.