(2007):
Robot Operating System (ROS).
ros.org/Intro.
(2007):
Yet Another Robot Platform (YARP).
yarp.it.
(2016):
The MORSE Simulator.
available from openrobots.org/morse.
Afsoon Afzal, Deborah S. Katz, Claire Le Goues & Christopher Steven Timperley (2020):
A Study on the Challenges of Using Robotics Simulators for Testing.
CoRR abs/2004.07368.
Available at https://arxiv.org/abs/2004.07368.
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti & Matteo Rossi (2015):
Efficient Scalable Verification of LTL Specifications.
In: Antonia Bertolino, Gerardo Canfora & Sebastian G. Elbaum: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1.
IEEE Computer Society,
pp. 711–721,
doi:10.1109/ICSE.2015.84.
Available at https://ieeexplore.ieee.org/xpl/conhome/7174815/proceeding.
Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani & Armando Tacchella (2002):
NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings,
pp. 359–364,
doi:10.1007/3-540-45657-0_29.
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti & Matteo Rossi (2012):
Modeling Time in Computing.
Monographs in Theoretical Computer Science. An EATCS Series.
Springer,
doi:10.1007/978-3-642-32332-4.
ISO 10218-2 (2011):
Robots and robotic devices – Safety requirements for industrial robots – Part 2: Robot systems and integration.
International Organization for Standardization,
Geneva, Switzerland.
ISO/TR 14121-2 (2012):
Safety of machinery – Risk assessment – Part 2: Practical guidance and examples of methods.
International Organization for Standardization,
Geneva, Switzerland.
Séverin Lemaignan, Marc Hanheide, Michael Karg, Harmish Khambhaita, Lars Kunze, Florian Lier, Ingo Lütkebohle & Grégoire Milliez (2014):
Simulation and HRI Recent Perspectives with the MORSE Simulator.
In: Davide Brugali, Jan F. Broenink, Torsten Kroeger & Bruce A. MacDonald: Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings,
Lecture Notes in Computer Science 8810.
Springer,
pp. 13–24,
doi:10.1007/978-3-319-11900-7_2.
Farzan M. Noori, David Portugal, Rui P. Rocha & Micael S. Couceiro (2017):
On 3D simulators for multi-robot systems in ROS: MORSE or Gazebo?.
In: IEEE International Symposium on Safety, Security and Rescue Robotics, SSRR 2017, Shanghai, China, October 11-13, 2017.
IEEE,
pp. 19–24,
doi:10.1109/SSRR.2017.8088134.
Available at https://ieeexplore.ieee.org/xpl/conhome/8076857/proceeding.
Matteo Pradella (2009):
A User's Guide to Zot: a Bounded Satisfiability Checker.
Available at http://github.com/fm-polimi/zot.
Matteo Pradella, Angelo Morzenti & Pierluigi San Pietro (2013):
Bounded satisfiability checking of metric temporal logic specifications.
ACM Trans. Softw. Eng. Methodol. 22(3),
pp. 20:1–20:54,
doi:10.1145/2491509.2491514.
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi & Dino Mandrioli (2020):
Safety Assessment of Collaborative Robotics Through Automated Formal Verification.
IEEE Trans. Robotics 36(1),
pp. 42–61,
doi:10.1109/TRO.2019.2937471.
Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher & Anthony G. Pipe (2020):
A corroborative approach to verification and validation of human-robot teams.
I. J. Robotics Res. 39(1),
doi:10.1177/0278364919883338.