Forschung
Solver-basierte Zertifikate erklären Satellitenplanung präzise
Satellitenbetreiber, die Erdbeobachtungssatelliten steuern, benötigen klare Begründungen für ihre Planungsentscheidungen: Warum wurde ein A…
arXiv – cs.AI