Control system synthesis; Supervisory control; Temporal logic; Invariants;
机译:Hennessy-Milner逻辑的最大综合
机译:最大允许的控制系统合成非确定性和模态逻辑
机译:模态逻辑中盒式的逆像
机译:Hennessy-Milner逻辑的最大合成带盒式模块
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:最大等距或偏心腿筋强度 - 测试模型可能更适合于青年高山滑雪赛车的评估?
机译:具有Box模态的Hennessy-milner逻辑的最大综合