Autor der Publikation

Model-Guided Synthesis for LTL over Finite Traces.

, , , , , , , und . VMCAI (1), Volume 14499 von Lecture Notes in Computer Science, Seite 186-207. Springer, (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

Fuzzing the Android Applications With HTTP/HTTPS Network Data., , , , und . IEEE Access, (2019)Hierarchical knowledge amalgamation with dual discriminative feature alignment., , , , , , , , und . Inf. Sci., (2022)Super-resolution DOA estimation methods based on element multiplication and summation., , , und . Digit. Signal Process., (November 2023)Feature selection using symmetric uncertainty and hybrid optimization for high-dimensional data., , , , , , und . Int. J. Mach. Learn. Cybern., 14 (12): 4339-4360 (Dezember 2023)Inferring Visual Persuasion via Body Language, Setting, and Deep Features., und . CVPR Workshops, Seite 778-784. IEEE Computer Society, (2016)Gut Microbiome Composition Mediates the Association of Left Inferior Parietal Lobule and Personality Traits., und . ICBBT, Seite 288-292. ACM, (2023)A spatio-temporal decomposition framework for dynamic functional connectivity in the human brain., , , , , , , , , und . NeuroImage, (2022)Exploring Interaction Qualities from Teenagers' Studying Behavior for Learning Feature in Museum Exhibit., , , , , , und . IHIET (Paris), Volume 1253 von Advances in Intelligent Systems and Computing, Seite 91-96. Springer, (2020)Dynamic alterations of amplitude of low-frequency fluctuations in adolescents with autism spectrum disorder., , , , , und . ISICDM, Seite 163-167. ACM, (2020)Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG., , , , , und . CoRR, (2023)