TY  - RPRT
TI  - Formal composition of hybrid systems
AU  - Jared Culbertson
AU  - Paul Gustafson
AU  - Daniel E. Koditschek
AU  - Peter F. Stiller
PY  - 2020
UR  - https://arxiv.org/abs/1911.01267
ID  - 1911.01267
ER  -