@misc{indiciae90ab20c4a45b,
  title = {Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2},
  author = {Jahid Chowdhury Choton and Lipsy Gupta and Pavithra Prabhakar},
  year = {2025},
  url = {https://arxiv.org/abs/2412.16186},
  note = {Source identifier: 2412.16186}
}