Scalable Synthesis and Verification: Towards Reliable Autonomy

Scalable Synthesis and Verification: Towards Reliable Autonomy

<p>We have seen the growing deployment of autonomous systems in our daily life, ranging from safety-critical self-driving cars to dialogue agents. While impactful and impressive, these systems do not often come with guarantees and are not rigorously evaluated for failure cases. This is in part...

Full description

Bibliographic Details
Main Author: Dathathri, Sumanth
Format: Others
Published: 2020
Online Access:https://thesis.library.caltech.edu/13689/8/Dathathri_Sumanth_thesis.pdf
Dathathri, Sumanth (2020) Scalable Synthesis and Verification: Towards Reliable Autonomy. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/4j39-v857. https://resolver.caltech.edu/CaltechTHESIS:04292020-165136662 <https://resolver.caltech.edu/CaltechTHESIS:04292020-165136662>

Internet

https://thesis.library.caltech.edu/13689/8/Dathathri_Sumanth_thesis.pdf
Dathathri, Sumanth (2020) Scalable Synthesis and Verification: Towards Reliable Autonomy. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/4j39-v857. https://resolver.caltech.edu/CaltechTHESIS:04292020-165136662 <https://resolver.caltech.edu/CaltechTHESIS:04292020-165136662>

Similar Items