research
∙
11/08/2021
Gradient-Descent for Randomized Controllers under Partial Observability
Randomization is a powerful technique to create robust controllers, in p...
share
research
∙
07/13/2020
Generating Functions for Probabilistic Programs
This paper investigates the usage of generating functions (GFs) encoding...
research
∙
06/03/2019
Separation and Renaming in Nominal Sets
Nominal sets provide a foundation for reasoning about names. They are us...
research
∙
02/22/2019