Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations
- Submitting institution
-
University of Chester
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 10034/623387
- Type
- E - Conference contribution
- DOI
-
10.1109/AERO47225.2020.9172303
- Title of conference / published proceedings
- 2020 IEEE Aerospace Conference
- First page
- 1
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- August
- Year of publication
- 2020
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
-
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Utilising human and robot teamwork in safety critical scenarios, such as space exploration, is of growing importance. This paper demonstrates the capabilities of the tool created by Stocker in 2012 to model and formally verify an example space exploration activity, i.e., building a lunar habitat.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -