Hybrid system falsification; Signal temporal logic; Constraints; Penalty; Lexicographic methods;
机译:使用自适应概率搜索的混合系统伪造
机译:用于多刚体机械系统的混合自动机的自动生成及其在伪造安全特性中的应用
机译:蒙特卡罗树搜索指导的混合系统两层伪造
机译:使用概率自适应输入的混合系统快速伪造
机译:S-Taliro:用于混合系统的时间逻辑伪造的工具
机译:系统生物学的多层次和混合建模方法
机译:混合系统中约束反例伪造:基于惩罚的方法
机译:混合系统模型检测中的抽象与反例引导细化