Autor der Publikation

Bridging formal methods and machine learning with model checking and global optimisation.

, , , , , und . J. Log. Algebraic Methods Program., (Februar 2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

CovidCare: Transferring Knowledge from Existing EMR to Emerging Epidemic for Interpretable Prognosis., , , , , , , , , und . CoRR, (2020)AdaCare: Explainable Clinical Health Status Representation Learning via Scale-Adaptive Feature Extraction and Recalibration., , , , , , , , und . CoRR, (2019)Interpretable Machine Learning for COVID-19: An Empirical Study on Severity Prediction Task., , , , , , , , und . CoRR, (2020)Adversarial Driving: Attacking End-to-End Autonomous Driving., , , , und . IV, Seite 1-7. IEEE, (2023)Adversarial Detection: Attacking Object Detection in Real Time., , , , und . IV, Seite 1-7. IEEE, (2023)Generalizing Universal Adversarial Attacks Beyond Additive Perturbations., , , und . ICDM, Seite 1412-1417. IEEE, (2020)TagTrack: device-free localization and tracking using passive RFID tags., , , , und . MobiQuitous, Seite 80-89. ICST / ACM, (2014)Bridging formal methods and machine learning with model checking and global optimisation., , , , , und . J. Log. Algebraic Methods Program., (Februar 2024)EV Charging Recommendation Concerning Preemptive Service and Charging Urgency Policy., , , , , und . VTC Fall, Seite 1-5. IEEE, (2020)Sparse Adversarial Video Attacks with Spatial Transformations., , , und . BMVC, Seite 101. BMVA Press, (2021)