Verification and validation of Mars Science Laboratory surface system.
Richard WelchDaniel LimonadiJessica SamuelsNoah WarnerChaz MorantzPublished in: SoSE (2013)
Keyphrases
- virtual laboratory
- model checking
- three dimensional
- national institute
- normal vectors
- object surface
- free form
- shape index
- petri net
- face verification
- smooth surfaces
- surface features
- verification method
- artificial intelligence
- viewpoint
- range data
- surface reconstruction
- computer science
- image sequences
- scientific knowledge
- multivariate adaptive regression splines