Number of items:
1
.
Akella, Prithvi
(2023)
Reliable Controller Synthesis: Guarantees for Safety-Critical System Testing and Verification.
Dissertation (Ph.D.), California Institute of Technology.
doi:10.7907/jej3-4444.
https://resolver.caltech.edu/CaltechTHESIS:06122023-162907795
This list was generated on
Wed Dec 17 12:02:20 2025 UTC
.