Methods and tools to enable the design and verification of intelligent systems

Publication
AIAA Infotech at Aerospace