Automata; Cognition; Color; Continuous time systems; Lyapunov methods; Safety; Trajectory; Barrier certificates; Control synthesis; Deductive proof systems; Lyapunov functions;
机译:交替时间逻辑ATL〜+中用于构造满意度测试和模型综合的最优Tableau方法
机译:在机构的战略性STIT逻辑中嵌入时空逻辑
机译:复杂谓词的逻辑:“自变量共享”和“动词提升”的演绎综合
机译:交替时间逻辑的演绎控制综合
机译:完整的概率逻辑演绎系统,应用于Harsanyi型空间。
机译:重症患者的软件指导血糖控制与护士指导血糖控制:LOGIC-2多中心随机对照临床试验
机译:交替时间逻辑ATL中用于构造满意度测试和模型综合的最佳Tableaux方法