Author of the publication

Model-Guided Synthesis for LTL over Finite Traces.

, , , , , , , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 186-207. Springer, (2024)

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

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