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

Applicability Assessment of Passive Microwave LST Downscaling over Semi-Homogeneous Desert Underlying Surface Based on Machine Learning., , , , , and . Remote. Sens., 15 (10): 2626 (2023)An Improvement in Multichannel SAR-GMTI Detection in Heterogeneous Environments., , , , and . IEEE Trans. Geosci. Remote. Sens., 53 (2): 810-827 (2015)Secure HARQ-IR-Aided Terahertz Communications., , , , , , and . ICCC Workshops, page 1-6. IEEE, (2023)Model-Guided Synthesis for LTL over Finite Traces., , , , , , , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 186-207. Springer, (2024)Window function design via fractional programming., , , , and . Digit. Signal Process., (2022)Detection of Moving Targets by Refocusing for Airborne CSSAR., and . IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 9 (7): 3026-3036 (2016)TIER-A: Denoising Learning Framework for Information Extraction., and . CoRR, (2022)A New Ground Moving Target Imaging Algorithm for High-Resolution Airborne CSSAR-GMTI Systems., and . IGARSS, page 2308-2311. IEEE, (2019)A Study on Range Equation Modeling for Distributed MEO SAR-GMTI., and . IGARSS, page 8154-8157. IEEE, (2023)MTMGNN: Multi-time multi-graph neural network for metro passenger flow prediction., , , , , , , , and . GeoInformatica, 27 (1): 77-105 (2023)