21 citations · 58 across the 10 of their papers we have counts for
1 paper · 2 filters
Jared Culbertson, Paul Gustafson, Daniel E. Koditschek +1
We develop a compositional framework for formal synthesis of hybrid systems using the language of category theory. More specifically, we provide mutually compatible tools for hiera…