Andrei A. Tiugashev, Alexander V. Belozubov. Toolset for Construction and Verification of Rules for Spacecraft's Autonomous Decision Making. In Robert J. Howlett, Lakhmi C. Jain, Bogdan Gabrys, Carlos Toro 0001, Chee Peng Lim, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016, York, UK, 5-7 September 2016. Volume 96 of Procedia Computer Science, pages 811-818, Elsevier, 2016. [doi]
Abstract is missing.