Login / Signup
Satyam Sharma
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Safety Critical
Delivery Ratio
Formal Verification
Node Mobility
Top Venues
QRS Companion
COMS2
</>
Publications
</>
Satyam Sharma
,
Muhammad Abdul Basit Ur Rahim
,
Shahid Hussain
,
Muhammad Rizwan Abid
,
Tairan Liu
Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges.
QRS Companion
(2023)
Satyam Sharma
QRP: QPSO Based Routing Protocol for Energy Efficiency in Wireless Body Area Networks.
COMS2
(2021)