Verification and online updating of decision making control logic for onboard real-time control systems.

Andrey A. Tyugashev, Dmitrii Zheleznov

Browse the full KES paper archive.