@misc{indiciae9ceaa9a659d1,
  title = {Using RSVP for analyzing state and previous activities for the Mars Exploration Rovers},
  author = {Cooper, Brian K. and Wright, John and Hartman, Frank and Maxwell, Scott and Yen, Jeng},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20060046313},
  note = {Source identifier: 20060046313}
}