Citation Formats

MLA

Soudjani, Sadegh, Majid Zamani, and Ameneh Nejatia. Compositional Abstraction-based Synthesis for Continuous-time Stochastic Hybrid Systems.

APA

Soudjani, S., Zamani, M., & Nejatia, A. Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems.

Chicago

Soudjani, Sadegh, Majid Zamani, and Ameneh Nejatia. Compositional Abstraction-Based Synthesis for Continuous-Time Stochastic Hybrid Systems.