Formal modeling and verification of multi-robot interactive scenarios in service settings-Reference-Cited by-同舟云学术

Formal modeling and verification of multi-robot interactive scenarios in service settings

Published:2022-05-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering
language:
Short-container-title:

Author:

Lestingi Livia¹,Sbrolli Cristian¹,Scarmozzino Pasquale¹,Romeo Giorgio¹,Bersani Marcello M.¹,Rossi Matteo¹

Affiliation:

1. Politecnico di Milano, Milan, Italy

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3524482.3527653

Reference36 articles.

1. A Survey of Statistical Model Checking

2. Trust, but Verify: Autonomous Robot Trust Modeling in Human-Robot Collaboration

3. The algorithmic analysis of hybrid systems

4. PuRSUE -from specification of robotic environments to synthesis of controllers

5. BlueBotics. 2021. Automated Hospital Logistics: How AGVs are Keeping PPE Moving. https://bluebotics.com/agvs-hospital-logistics/. BlueBotics. 2021. Automated Hospital Logistics: How AGVs are Keeping PPE Moving. https://bluebotics.com/agvs-hospital-logistics/.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synergistic Swarm;Advances in Computational Intelligence and Robotics;2024-05-23

2. Analyzing the impact of human errors on interactive service robotic scenarios via formal verification;Software and Systems Modeling;2023-08-17

3. Specification, stochastic modeling and analysis of interactive service robotic applications;Robotics and Autonomous Systems;2023-05

4. Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05

5. Towards Better Trust in Human-Machine Teaming through Explainable Dependability;2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C);2023-03