Satyam Sharma

According to our database, Satyam Sharma authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

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

Satyam Sharma, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Tairan Liu

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2021

QRP: QPSO Based Routing Protocol for Energy Efficiency in Wireless Body Area Networks.

Satyam Sharma

Proceedings of the Computing Science, Communication and Security, 2021