Author of the publication

Statistical verification of autonomous system controllers under timing uncertainties.

, , , , , , , , and . Real Time Syst., 60 (1): 108-149 (March 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

A dual-primal balanced augmented Lagrangian method for linearly constrained convex programming.. J. Appl. Math. Comput., 69 (1): 1015-1035 (February 2023)The Study of Complex Human Locomotion Behaviors: From Crawling to Walking., and . CoRR, (2022)Counteracting a Saturation Attack in Continuous-Variable Quantum Key Distribution Using an Adjustable Optical Filter Embedded in Homodyne Detector., , , and . Entropy, 24 (3): 383 (2022)Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems., , , , , and . ATVA (1), volume 14215 of Lecture Notes in Computer Science, page 312-333. Springer, (2023)A Predicate Encryption Based Anomaly Detection Scheme for E-Health Communications Network., and . ICC, page 1-6. IEEE, (2018)A Semi-Supervised Learning Approach for Network Anomaly Detection in Fog Computing., , and . ICC, page 1-6. IEEE, (2019)Statistical verification of autonomous system controllers under timing uncertainties., , , , , , , , and . Real Time Syst., 60 (1): 108-149 (March 2024)A parallel splitting ALM-based algorithm for separable convex programming., and . Comput. Optim. Appl., 80 (3): 831-851 (2021)Edge Intelligence Assisted Gateway Defense in Cyber Security., , and . IEEE Netw., 34 (4): 14-19 (2020)Data-Driven Network Intelligence for Anomaly Detection., , and . IEEE Netw., 33 (3): 88-95 (2019)