Toolset for Construction and Verification of Rules for Spacecraft's Autonomous Decision Making.

Andrei A. Tiugashev, Alexander V. Belozubov

Browse the full KES paper archive.