Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reachability Analysis of Convolutional Neural Networks., , , , , and . CoRR, (2021)Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper., , , and . ICCAD, page 1-7. ACM, (2019)Risk-bounded Control using Stochastic Barrier Functions., , , , , and . ACC, page 1131-1136. IEEE, (2021)EyeHacker: gaze-based automatic reality manipulation., , , , , and . SIGGRAPH Emerging Technologies, page 12:1-12:2. ACM, (2019)Runtime Assurance for Autonomous Driving with Neural Reachability., , , and . ITSC, page 2634-2641. IEEE, (2022)Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions., , , , , and . IROS, page 5794-5800. IEEE, (2021)Real-time Rendering of Layered Materials with Anisotropic Normal Distributions., , , and . SIGGRAPH Asia Technical Briefs, page 87-90. ACM, (2019)Falsification of Cyber-Physical Systems with Constrained Signal Spaces., , , , , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 420-439. Springer, (2020)Specification-guided Software Fault Localization for Autonomous Mobile Systems., , , and . MEMOCODE, page 1-12. IEEE, (2020)Verification of Recurrent Neural Networks with Star Reachability., , , , , and . HSCC, page 6:1-6:13. ACM, (2023)