Autor der Publikation

Monitor Synthesis for Parametric MTL Properties in Discrete Control Software.

, , , und . QRS Companion, Seite 355-362. IEEE, (2017)

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

CPMC-Lab: A Matlab package for Constrained Path Monte Carlo calculations., , , und . Comput. Phys. Commun., 185 (12): 3344-3357 (2014)A brief of recent research progress on ionospheric disturbances., , , und . Sci. China Inf. Sci., 56 (12): 1-9 (2013)基于Mamdani型模糊推理的加权质心定位算法 (Weighted Centroid Localization Algorithm Based on Mamdani Fuzzy Theory)., , und . 计算机科学, 42 (10): 101-105 (2015)M-FCN: Effective Fully Convolutional Network-Based Airplane Detection Framework., , , , und . IEEE Geosci. Remote. Sens. Lett., 14 (8): 1293-1297 (2017)Design and development of a novel indoor Bluetooth location-based application., und . ICWN, Seite 260-265. CSREA Press, (2009)MS-Net: A Multi-modal Self-supervised Network for Fine-Grained Classification of Aircraft in SAR Images., , , , und . CoRR, (2023)Behind Every Domain There is a Shift: Adapting Distortion-aware Vision Transformers for Panoramic Semantic Segmentation., , , , , , , , und . CoRR, (2022)Bi-Mapper: Holistic BEV Semantic Mapping for Autonomous Driving., , , , , , und . CoRR, (2023)PanoFlow: Learning Optical Flow for Panoramic Images., , , , , , , und . CoRR, (2022)Annular Computational Imaging: Capture Clear Panoramic Images through Simple Lens., , , , , und . CoRR, (2022)