Formal Methods for Trusted Space Autonomy: Boon or Bane?

von Chien, Steve A.
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

An evaluation of the utility of incremental reasoning in explanation-based learning of plans

von Chien, Steve A.
Veröffentlicht 1991

Artificial intelligence and its applications : [papers presented at the AISB 85 held at Warwick Univ., England, on April 10-12, 1985 ...]

Veröffentlicht 1986