APA (7th ed.) Citation

Takayama, Y., Iovine, A., Besselink, B., Sandou, G., & Saoud, A. (2026). Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control.

Chicago Style (17th ed.) Citation

Takayama, Yoshinari, Alessio Iovine, Bart Besselink, Guillaume Sandou, and Adnane Saoud. Safety by Invariance, Liveness Through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control. 2026.

MLA (9th ed.) Citation

Takayama, Yoshinari, et al. Safety by Invariance, Liveness Through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control. 2026.