Citation Formats

MLA

Zamani, Majid, Sadegh Soudjani, and Ali Salamati. Data-driven Verification of Stochastic Linear Systems with Signal Temporal Logic Constraints.

APA

Zamani, M., Soudjani, S., & Salamati, A. Data-Driven Verification of Stochastic Linear Systems with Signal Temporal Logic Constraints.

Chicago

Zamani, Majid, Sadegh Soudjani, and Ali Salamati. Data-Driven Verification of Stochastic Linear Systems with Signal Temporal Logic Constraints.