Towards Planning and Adaptation of Assistive-care Robot Tasks

Hamilton, Jordan, Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more author) (2022) Towards Planning and Adaptation of Assistive-care Robot Tasks. In: Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE). Electronic proceedings in theoretical computer science. , pp. 175-183.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Accepted: 2022
  • Published: 28 September 2022
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/V026747/1 additional GRIP funding
Date Deposited: 20 Sep 2022 10:20
Last Modified: 17 Nov 2025 16:10
Published Version: https://doi.org/10.4204/EPTCS.371.12
Status: Published
Series Name: Electronic proceedings in theoretical computer science
Identification Number: 10.4204/EPTCS.371.12
Open Archives Initiative ID (OAI ID):

Download

Filename: FMAS_2022_ALMI.pdf

Description: FMAS_2022-ALMI

Licence: CC-BY 2.5

Export

Statistics