Autor der Publikation

Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications.

, , und . ASCC, Seite 1052-1059. IEEE, (2022)

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

Face recognition using the Weber Local Descriptor., , und . ACPR, Seite 589-592. IEEE, (2011)Formal Verification of Large Software Systems., und . NASA Formal Methods, Volume NASA/CP-2010-216215 von NASA Conference Proceedings, Seite 192-201. (2010)On the Decidability and Complexity of Diagnosability for Labeled Petri Nets., und . IEEE Trans. Automat. Contr., 62 (11): 5931-5938 (2017)Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets., , , , und . IEEE Control. Syst. Lett., (2023)Abstraction-Based Verification of Approximate Preopacity for Control Systems., , , und . IEEE Control. Syst. Lett., (2023)Direct Speech-to-speech Translation without Textual Annotation using Bottleneck Features., , , und . CoRR, (2022)Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration Tasks., , , , und . CoRR, (2021)Towards High-fidelity Singing Voice Conversion with Acoustic Reference and Contrastive Predictive Coding., , , , , , und . CoRR, (2021)Towards Realistic Visual Dubbing with Heterogeneous Sources., , , , , , , , , und . CoRR, (2022)A unified sequence-to-sequence front-end model for Mandarin text-to-speech synthesis., , , , , , und . CoRR, (2019)