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

NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems., and . CDC, page 2905-2910. IEEE, (2022)Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks., and . IEEE Trans. Robotics, (2024)DoS-Resilient Multi-Robot Temporal Logic Motion Planning., , , , and . ICRA, page 6051-6057. IEEE, (2019)Formal verification of neural network controlled autonomous systems., , and . HSCC, page 147-156. ACM, (2019)Contrastive Learning for Echocardiographic View Integration., , and . MICCAI (4), volume 13434 of Lecture Notes in Computer Science, page 340-349. Springer, (2022)Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems., , and . CDC, page 2198-2203. IEEE, (2020)Graph Neural Network based Future Clinical Events Prediction from Invasive Coronary Angiography., , , , , , , , , and . ISBI, page 1-5. IEEE, (2024)Transformer Based Feature Fusion for Left Ventricle Segmentation in 4D Flow MRI., , , , and . MICCAI (5), volume 13435 of Lecture Notes in Computer Science, page 370-379. Springer, (2022)Combination Special Data Augmentation and Sampling Inspection Network for Cardiac Magnetic Resonance Imaging Quality Classification., , and . STACOM@MICCAI, volume 13593 of Lecture Notes in Computer Science, page 476-484. Springer, (2022)Safe Learning and Verification of Neural Network Controllers for Autonomous Systems. University of California, Irvine, USA, (2022)