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