research
∙
08/17/2021
Hybrid dynamical type theories for navigation
We present a hybrid dynamical type theory equipped with useful primitive...
share
research
∙
11/04/2019
Formal composition of hybrid systems
We develop a compositional framework for formal synthesis of hybrid syst...
research
∙
09/08/2016
Functorial Hierarchical Clustering with Overlaps
This work draws its inspiration from three important sources of research...
research
∙
08/15/2016
