APA (7th ed.) Citation

Graebener, J. B., Badithela, A. S., Goktas, D., Ubellacker, W., Mazumdar, E. V., Ames, A. D., & Murray, R. M. (2024). Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications.

Chicago Style (17th ed.) Citation

Graebener, Josefine B., Apurva S. Badithela, Denizalp Goktas, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, and Richard M. Murray. Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications. 2024.

MLA (9th ed.) Citation

Graebener, Josefine B., et al. Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications. 2024.