Author of the publication

Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms.

, , , and . SysCon, page 1-7. IEEE, (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

Conceptualizing Suicidal Behavior: Utilizing Explanations of Predicted Outcomes to Analyze Longitudinal Social Media Data., , , , , , , and . ICMLA, page 2095-2102. IEEE, (2023)Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic., , , , and . ACC, page 5114-5119. IEEE, (2004)Chest X-ray enhancement to interpret pneumonia malformation based on fuzzy soft set and Dempster-Shafer theory of evidence., , , , , and . Appl. Soft Comput., (2020)Genetic search over probability spaces., and . Eur. J. Oper. Res., 144 (2): 333-347 (2003)A maximum likelihood estimate of the parameters of the FRB population, , , and . (2021)cite arxiv:2109.06785Comment: 5 pages, 3 figures, Accepted for Publication in the MNRAS Letter.A Novel Qutrit Based Quantum Ant Colony Optimization for Multi-level Thresholding., , and . TENCON, page 1375-1380. IEEE, (2019)Swarming Behaviors of Chicken for Predicting Posts on Facebook Branding Pages., , , and . AMLTA, volume 723 of Advances in Intelligent Systems and Computing, page 52-61. Springer, (2018)Binary image denoising using a quantum multilayer self organizing neural network., , and . Appl. Soft Comput., (2014)Border Collie Optimization., , , and . IEEE Access, (2020)Information Networks to Derive Value from Social Media., , and . AMCIS, Association for Information Systems, (2020)