Hybrid system Reachability analysis Guided search Heuristics Pattern databases;
机译:基于粗粒度空间抽象的混合系统引导搜索
机译:基于模型抽象和指导搜索的混合系统监督控制
机译:使用反例指导的抽象细化验证具有大离散状态空间的线性混合系统
机译:基于抽象的混合系统引导搜索
机译:轮廓级别:基于非洲音调系统的音调空间的抽象。
机译:基于Altifolate的TGDHFR和RLDHFR的COMFA分析使用全定向搜索(AOS)例程和修改的交叉验证R2引导区域选择(Q2-GRS)例程及其初始应用程序
机译:基于粗粒度空间抽象的混合系统引导搜索
机译:混合系统模型检测中的抽象与反例引导细化