Heuristic algorithms; Safety; Aerospace electronics; Hypercubes; Trajectory; Games;
机译:基于抽象的安全验证和控制路十字路口的合作车辆
机译:懒惰的安全控制器合成具有非线性系统的多尺度自适应抽样
机译:通过放宽约束来改进SCR规范的惰性抽象
机译:基于懒人抽象的安全规范控制
机译:基于抽象的滥用检测:高级规范和适应性策略。
机译:LAZY1依赖性生长素不对称分布介导的水稻分iller角控制核心调控途径。
机译:基于懒人抽象的安全规范控制