|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
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Dannert, Katrin M.