Model checking; Games; Artificial neural networks; Automata; Machine learning;
机译:一种基于均匀化的连续时间随机游戏模型检查算法
机译:由带有有限输入寄存器的扩展有限状态机组成的系统的符号模型检查算法
机译:由带有有限输入寄存器的扩展有限状态机组成的系统的符号模型检查算法
机译:一种基于符号模型检查的GO游戏状态的算法
机译:符号模型检查中的高效可达性算法。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:结合显式状态和符号模型检查来搜索Powerset自动机
机译:基于符号模型检验的分层任务网络规划器