RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems

Authors

  • Charles Pecheur
  • Willem Visser
  • Reid Simmons

DOI:

https://doi.org/10.1609/aimag.v22i3.1583

Abstract

The long-term future of space exploration at the National Aeronautics and Space Administration (NASA) is dependent on the full exploitation of autonomous and adaptive systems, but mission managers are worried about the reliability of these more intelligent systems. The main focus of the workshop was to address these worries; hence, we invited NASA engineers working on autonomous and adaptive systems and researchers interested in the verification and validation of software systems. The dual purpose of the meeting was to (1) make NASA engineers aware of the verification and validation techniques they could be using and (2) make the verification and validation community aware of the complexity of the systems NASA is developing. The workshop was held 5 to 7 December 2000 at the Asilomar Conference Center in Pacific Grove, California.

Downloads

Published

2001-09-15

How to Cite

Pecheur, C., Visser, W., & Simmons, R. (2001). RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. AI Magazine, 22(3), 107. https://doi.org/10.1609/aimag.v22i3.1583

Issue

Section

Workshop Reports