Ghasemi, Mahsa

Purdue University West Lafayette

1 paper on CoChatORCID 0000-0003-4302-4806

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