Author of the publication

Assuring Behavior of Multirobot Autonomous Systems With Translation From Formal Verification to ROS Simulation.

, , , and . IEEE Syst. J., 16 (3): 5092-5100 (2022)

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

ROAD Value-based DME detection and OBE enhanced DME mitigation for LDACS., , , , and . WPMC, page 152-157. IEEE, (2022)Customer segmentation using various machine learning techniques., and . Int. J. Bus. Intell. Data Min., 20 (4): 480-496 (2022)Smart LSTM-based IDS for Heterogeneous IoT (HetIoT)., , , , and . WPMC, page 23-28. IEEE, (2022)Edge-Federated Learning-Based Intelligent Intrusion Detection System for Heterogeneous Internet of Things., , and . IEEE Access, (2024)SmartSentry: Cyber Threat Intelligence in Industrial IoT., , , and . IEEE Access, (2024)Cross Dataset Analysis and Network Architecture Repair for Autonomous Car Lane Detection*., , and . IV, page 1-6. IEEE, (2023)Digital Privacy in Healthcare: State-of-the-Art and Future Vision., , , , , , , , and . IEEE Access, (2024)Learning-Tree Based Network Intrusion Detection for IoT., , , , , and . IC3I, page 756-761. IEEE, (2023)Minimum total MSE based transceiver design for single-user MIMO system., , and . APCC, page 720-725. IEEE, (2011)Application of FSM Machine and S-Box in KASUMI Block Cipher to Improve Its Resistance Against Attack., and . Int. J. Netw. Secur., 20 (5): 890-897 (2018)