PHON
发表于 2025-3-28 17:27:59
Formal Methods for Trusted Space Autonomy: Boon or Bane?ettings. Thus far these challenges have been met using the full arsenal of tools: formal methods, informal methods, testing, runtime techniques, and operations processes. Using examples from previous deployments of autonomy (e.g. the Remote Agent Experiment on Deep Space One, Autonomous Sciencecraft