Safe and Interactive Autonomy: Control, Learning, and Verification
Dorsa Sadigh [2017]
Secure Computing using Certified Software and Trusted Hardware
Rohit Sinha [2017]
Formal Verification and Synthesis for Quality-of-Service in On-Chip Networks
Daniel Holcomb [2013]
Specification Mining: New Formalisms, Algorithms and Applications
Wenchao Li [2013]
Automatic Term-Level Abstraction
Bryan Brady [2011]
Towards Automated System Synthesis Using SCIDUCTION
Susmit Kumar Jha [2011]