Falsification; Automated testing; Debugging; Simulation; Autonomous systems; Machine learning;
机译:基于神经网络的数字重新设计方法用于未知非线性多变量系统的PID控制
机译:基于神经网络的数字重新设计方法,用于控制未知连续时间混沌系统
机译:飞机电动滑行系统的成本效益分析
机译:VERIFAI:基于人工智能系统的形式化设计和分析的工具包
机译:飞机控制法则中基于神经网络的传感器验证方案。
机译:verifai的神经网络飞机滑行系统正式分析与重新设计
机译:Verifai:用于正式设计和基于人工智能的系统的工具包
机译:初步小型飞机运输系统(saTs)概念的形式化建模与分析