Autor der Publikation

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

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation., , , , , , und . CoRR, (2023)Pattern Matching for Perception Streams., , , , und . RV, Volume 14245 von Lecture Notes in Computer Science, Seite 251-270. Springer, (2023)Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions., , , , , und . ACC, Seite 344-351. IEEE, (2024)Optimal Planning for Timed Partial Order Specifications., , , , , und . ICRA, Seite 17093-17099. IEEE, (2024)Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions., , , , , und . CoRR, (2023)Speaker verification with non-audible murmur segments by combining global alignment kernel and penalized logistic regression machine., , , , und . INTERSPEECH, Seite 1369-1372. ISCA, (2008)Neural Configuration Distance Function for Continuum Robot Control., , , , , und . CoRR, (2024)Quantitative Verification for Neural Networks using ProbStars., , , , , und . HSCC, Seite 4:1-4:12. ACM, (2023)SMT-Based Dynamic Multi-Robot Task Allocation., , , , , , und . NFM, Volume 14627 von Lecture Notes in Computer Science, Seite 331-351. Springer, (2024)Study on speaker verification with non-audible murmur segments., , , , , und . INTERSPEECH, Seite 2017-2020. ISCA, (2007)