notesum.ai
Published at November 21ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
cs.SE
cs.AI
cs.RO
Released Date: November 21, 2024
Authors: Maryam Ghaffari Saadat1, Angelo Ferrando2, Louise A. Dennis1, Michael Fisher1
Aff.: 1University of Manchester, Manchester, United Kingdom; 2University of Modena and Reggio Emilia, Modena, Italy