基于采样的反应综合技术在非确定性混合系统中的应用（英文版）

英文标题：Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems中文摘要：本文介绍了一种基于采样的策略综合算法，用于处理具有复杂连续动态的非确定性混合系统在时间和可达性约束下的情况，其目的是综合出一个反应式策略以保证满足所有可能对手步骤的要求。实验表明，该算法具有广泛适用性并一直领先于现有技术。英文摘要：This paper introduces a sampling-based strategy synthesis algorithm fornondeterministic hybrid systems with complex continuous dynamics under temporaland reachability constraints. We view the evolution of the hybrid system as atwo-player game, where the nondeterminism is an adversarial player whoseobject