Picture for Lipsy Gupta

Lipsy Gupta

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2

Add code
Dec 12, 2024
Viaarxiv icon