Randomization is a powerful technique to create robust controllers, in
p...
This paper investigates the usage of generating functions (GFs) encoding...
Nominal sets provide a foundation for reasoning about names. They are us...
We show how to compute efficiently with nominal sets over the total orde...