Author of the publication

On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.

, , , , , , , and . ISoLA (4), volume 12479 of Lecture Notes in Computer Science, page 216-241. Springer, (2020)

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

Efficacy and safety of chloroquine or hydroxychloroquine in moderate type of COVID-19: a prospective open-label randomized controlled study, , , , , , , , , and 9 other author(s). (June 2020)User Identification Based on Display Names Across Online Social Networks., , , , and . IEEE Access, (2017)STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis., , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 540-549. Springer, (2019)Bio-inspired trajectory generation for UAV perching., , and . AIM, page 997-1002. IEEE, (2013)Geometry-adapted Gaussian random field regression., , , and . ICASSP, page 6528-6532. IEEE, (2017)Hysteresis modeling and compensation of PZT milliactuator in hard disk drives., , , and . ICARCV, page 980-985. IEEE, (2014)Background-foreground interaction for moving object detection in dynamic scenes., , , , and . Inf. Sci., (2019)Monocular Vision-Based Underwater Object Detection., , , , and . Sensors, 17 (8): 1784 (2017)Self-Tuning Fully-Connected PID Neural Network System for Distributed Temperature Sensing and Control of Instrument with Multi-Modules., , and . Sensors, 16 (10): 1709 (2016)A FPGA-Based, Granularity-Variable Neuromorphic Processor and Its Application in a MIMO Real-Time Control System., , and . Sensors, 17 (9): 1941 (2017)