External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

ROSMonitoring: A Runtime Verification Framework for ROS

Angelo Ferrando, Rafael C. Cardoso, Michael Fisher 0001, Davide Ancona, Luca Franceschini, Viviana Mascardi. ROSMonitoring: A Runtime Verification Framework for ROS. In Abdelkhalick Mohammad, Xin Dong 0011, Matteo Russo, editors, Towards Autonomous Robotic Systems - 21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings. Volume 12228 of Lecture Notes in Computer Science, pages 387-399, Springer, 2020. [doi]

Authors

Angelo Ferrando

This author has not been identified. Look up 'Angelo Ferrando' in Google

Rafael C. Cardoso

This author has not been identified. It may be one of the following persons: Look up 'Rafael C. Cardoso' in Google

Michael Fisher 0001

This author has not been identified. Look up 'Michael Fisher 0001' in Google

Davide Ancona

This author has not been identified. Look up 'Davide Ancona' in Google

Luca Franceschini

This author has not been identified. Look up 'Luca Franceschini' in Google

Viviana Mascardi

This author has not been identified. Look up 'Viviana Mascardi' in Google
runs on