Sandra Bedaf, Patrizia Marti, Farshid Amirabdollahian & Luc de Witte (2017):
A multi-perspective evaluation of a service robot for seniors: the voice of different stakeholders.
Disability and Rehabilitation: Assistive Technology 13(6),
pp. 592–599,
doi:10.1080/17483107.2017.1358300.
Linda M. Beuscher, Jing Fan, Nilanjan Sarkar, Mary S. Dietrich, Paul A. Newhouse, Karen F. Miller & Lorraine C. Mion (2017):
Socially assistive robots: Measuring older adults' perceptions.
Journal of Gerontological Nursing 43(12),
pp. 35–43,
doi:10.3928/00989134-20170707-04.
Radu Calinescu (2013):
Emerging techniques for the engineering of self-adaptive high-integrity software.
In: Assurances for Self-Adaptive Systems.
Springer,
pp. 297–310,
doi:10.1007/978-3-642-36249-1_11.
Radu Calinescu, Javier Cámara & Colin Paterson (2019):
Socio-cyber-physical systems: Models, opportunities, open challenges.
In: Software Engineering for Smart Cyber-Physical Systems,
pp. 2–6,
doi:10.1109/SEsCPS.2019.00008.
Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin & Danny Weyns (2020):
Understanding Uncertainty in Self-adaptive Systems.
In: 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS),
pp. 242–251,
doi:10.1109/ACSOS49614.2020.00047.
Javier Cámara, Bradley Schmerl & David Garlan (2020):
Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots.
In: Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
Association for Computing Machinery,
pp. 125–136,
doi:10.1145/3387939.3391591.
D. Feil-Seifer & M.J. Mataric (2005):
Defining socially Assistive Robotics.
In: 9th International Conference on Rehabilitation Robotics (ICORR).
IEEE,
pp. 465–468,
doi:10.1109/icorr.2005.1501143.
Mario Gleirscher, Radu Calinescu, James Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan Aitken, Rob Alexander & James Law (2022):
Verified synthesis of optimal safety controllers for human-robot collaboration.
Science of Computer Programming 218,
pp. 102809,
doi:10.1016/j.scico.2022.102809.
Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou, Radu Calinescu, James Law & John Clark (2022):
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots.
In: The 21st Century Industrial Robot: When Tools Become Collaborators.
Springer,
pp. 191–214,
doi:10.1007/978-3-030-78513-0_11.
Denise Hebesberger, Tobias Koertner, Christoph Gisinger & Jürgen Pripfl (2017):
A Long-Term Autonomous Robot at a Care Hospital: A Mixed Methods Study on Social Acceptance and Experiences of Staff and Older Adults.
International Journal of Social Robotics 9(3),
pp. 417–429,
doi:10.1007/s12369-016-0391-6.
Sara M. Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola & Diego Perez-Palacin (2021):
Uncertainty in Self-Adaptive Systems: A Research Community Perspective.
ACM Trans. Auton. Adapt. Syst. 15(4),
doi:10.1145/3487921.
Guy Hoffman & Cynthia Breazeal (2004):
Robots that work in collaboration with people.
AAAI Fall Symposium - Technical Report FS-04-05,
pp. 25–30.
Pooyan Jamshidi, Javier Cámara, Bradley Schmerl, Christian Käestner & David Garlan (2019):
Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots.
In: IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
pp. 39–50,
doi:10.1109/SEAMS.2019.00015.
Abir-Beatrice Karami, Laurent Jeanpierre & Abdel-Illah Mouaddib (2010):
Human-robot collaboration for a shared mission.
In: 5th ACM/IEEE International Conference on Human-Robot Interaction,
pp. 155–156,
doi:10.1109/HRI.2010.5453219.
Marta Kwiatkowska, Gethin Norman & David Parker (2011):
PRISM 4.0: Verification of Probabilistic Real-Time Systems.
In: Computer Aided Verification,
pp. 585–591,
doi:10.1007/978-3-642-22110-1_47.
Bruno Lacerda, Fatma Faruq, David Parker & Nick Hawes (2019):
Probabilistic planning with formal performance guarantees for mobile service robots.
International Journal of Robotics Research 38(9),
pp. 1098–1123,
doi:10.1177/0278364919856695.
Bruno Lacerda, David Parker & Nick Hawes (2017):
Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees.
In: 27th International Conference on Automated Planning and Scheduling,
pp. 504–512.
Yimeng Lu & Maryam Kamgarpour (2020):
Safe Mission Planning under Dynamical Uncertainties.
In: IEEE International Conference on Robotics and Automation (ICRA),
pp. 2209–2215,
doi:10.48550/arXiv.2003.02913.
Ioannis Stefanakos, Radu Calinescu, James Douthwaite, Jonathan Aitken & James Law (2022):
Safety Controller Synthesis for a Mobile Manufacturing Cobot.
In: International Conference on Software Engineering and Formal Methods.
(forthcoming).
Daniel Tihanyi, Yimeng Lu, Orcun Karaca & Maryam Kamgarpour (2021):
Multi-robot task allocation for safe planning against stochastic hazard dynamics,
doi:10.48550/ARXIV.2103.01840.
eptcs@eptcs.org