Author of the publication

Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges.

, , , , and . QRS Companion, page 834-842. IEEE, (2023)

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

Multilayer communication network architecture for wind power farm., and . CAMAD, page 105-109. IEEE, (2014)Relationships Among Various Parameters for Decision Tree Optimization.. Innovations in Intelligent Machines (4), volume 514 of Studies in Computational Intelligence, Springer, (2014)SLA conceptual framework for coordinating and monitoring information flow in Smart Grid., , , and . ISGT, page 1-5. IEEE, (2014)Exploiting Ontology Recommendation Using Text Categorization Approach., , , , , , , and . IEEE Access, (2021)Improving the Quality of Software Development Process by Introducing a New Methodology-AZ-Model., , , , , , , , , and . IEEE Access, (2018)A study on application programming interface recommendation: state-of-the-art techniques, challenges and future directions., , , and . Libr. Hi Tech, 41 (2): 355-385 (June 2023)Unveiling the Potential Pattern Representation of RNA 5-Methyluridine Modification Sites Through a Novel Feature Fusion Model Leveraging Convolutional Neural Network and Tetranucleotide Composition., , , , , , and . IEEE Access, (2024)Investigation of Inner/Outer Rotor Permanent Magnet Flux Switching Generator for Wind Turbine Applications., , and . IEEE Access, (2021)Relationships between Average Depth and Number of Misclassifications for Decision Trees., , and . Fundam. Informaticae, 129 (1-2): 15-26 (2014)Computer-Aided Teaching Using SimMechanics and Matlab for Project-Based Learning in a Robotics Course., , and . Int. J. Soc. Robotics, 14 (1): 85-94 (2022)