Humanfriendly Robotics 2021 Hfr 14th International Workshop on Humanfriendly Robotics

This volume presents a collection of papers presented at the 14th International Symposium of Robotic Research (ISRR). ISRR is the biennial meeting of the International Foundation of Robotic Research (IFRR) and its 14th edition took place in Lucerne, Switzerland, from August 31st to September 3rd, 2009.

This volume presents a collection of papers presented at the 14 th International Symposium of Robotic Research (ISRR).

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2021, the 40th International Conference on Computer Safety, Reliability and Security, which took place in York, UK, in September 2021.

This volume contains the papers presented at FMICS 2009, the 14th Inter- tional Workshop on Formal Methods for Industrial Critical Systems,whichwas held on November 2–3, 2009, in Eindhoven, The Netherlands. Previous wo- shops of the ERCIM working group on Formal Methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July2002),Trondheim(June2003),Linz(September 2004),Lisbon(September 2005),Bonn (August 2006),Berlin (July 2007),and L’Aquila (September 2008).