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)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)A Study on Range Equation Modeling for Distributed MEO SAR-GMTI., and . IGARSS, page 8154-8157. IEEE, (2023)A New Ground Moving Target Imaging Algorithm for High-Resolution Airborne CSSAR-GMTI Systems., and . IGARSS, page 2308-2311. IEEE, (2019)A Study on the Optimal Step Size of Velocity for Three-Channel SAR Adaptive Clutter Suppression., and . IGARSS, page 7981-7984. IEEE, (2023)Three-Dimensional Structure and Transport Properties of Dust Aerosols in Central Asia - New Insights from CALIOP Observations, 2007-2022., , , , , and . Remote. Sens., 16 (12): 2049 (June 2024)Association between China's digital economy and labor education in post-pandemic of COVID-19 based on neural network.. J. Intell. Fuzzy Syst., 39 (6): 8839-8845 (2020)Serverless Computing: State-of-the-Art, Challenges and Opportunities., , , , and . IEEE Trans. Serv. Comput., 16 (2): 1522-1539 (March 2023)Signal Modeling for Airborne High-Resolution Multichannel CSSAR-GMTI Systems., , , , and . IGARSS, page 2494-2497. IEEE, (2022)