Andrey Tyugashev, Dmitrii Zheleznov. Verification and online updating of decision making control logic for onboard real-time control systems. In Robert J. Howlett, Lakhmi C. Jain, Zoran Popovic, Dejan B. Popovic, Slobodan N. Vukosavic, Carlos Toro 0001, Yulia Hicks, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, Belgrade, Serbia, 3-5 September 2018. Volume 126 of Procedia Computer Science, pages 1457-1466, Elsevier, 2018. [doi]
Abstract is missing.