PoCo: A Language for Specifying Obligation-Based Policy Compositions. - Danielle Ferguson; Yan Albright; Daniel Lomsak; Tyler Hanks; Kevin Orr; Jay Ligatti (ICSCA, 2020)

Compositional Exploration of Combinatorial Scientific Models. - Kristopher Brown; Tyler Hanks; James P. Fairbanks (CoRR, 2022)

Characterizing Compositionality of LQR from the Categorical Perspective. - Baike She; Tyler Hanks; James P. Fairbanks; Matthew Hale 001 (CDC, 2023)

Computational category-theoretic rewriting. - Kristopher Brown; Evan Patterson; Tyler Hanks; James P. Fairbanks (J. Log. Algebraic Methods Program., 2023)

Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems. - Tyler Hanks; Baike She; Evan Patterson; Matthew Hale 001; Matthew Klawonn; James P. Fairbanks (ACC, 2024)

Generalized Gradient Descent is a Hypergraph Functor. - Tyler Hanks; Matthew Klawonn; James P. Fairbanks (CoRR, 2024)

Distributed Multi-agent Coordination over Cellular Sheaves. - Tyler Hanks; Hans Riess; Samuel Cohen; Trevor Gross; Matthew Hale 001; James P. Fairbanks (CoRR, 2025)