Gohari, Parham

The University of Texas at Austin

1 paper on CoChatORCID 0000-0002-8880-7436

Most cited papers

Verified
Formal Methods for Autonomous Systems
Wongpiromsarn, T., Ghasemi, M., Cubuktepe, M., Bakirtzis, G., Carr, S., Karabag, M. O., Neary, C., Gohari, P., & Topcu, U. (2023) · Foundations and Trends® in Systems and Control
Formal Methods in VerificationSafety Systems Engineering in Autonomy
Cited by 17

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free