Computational modeling; Markov processes; Materials requirements planning; Minimization; Optimal control; Probabilistic logic;
机译:具有时间逻辑约束的概率环境中的增量控制器综合
机译:概率信号时序逻辑中的增量推理
机译:具有信号时间逻辑限制的污水系统的正式控制器合成:巴塞罗那案例研究
机译:时间逻辑约束的概率环境中的增量控制合成(i)
机译:根据时间逻辑规范进行的车辆控制具有概率满意度。
机译:从概率示例中学习概率逻辑模型
机译:概率环境下的增量控制综合 时态逻辑约束