机译:用于代理控制的Teleo-active程序
机译:将状态图嵌入到Teleo-Reactive程序中以对代理之间的交互进行建模
机译:确定和验证克隆的远程反应代理的良好策略
机译:关于目标导向的实时远程反应程序的推理
机译:远程反应机器人代理程序的时间逻辑语义
机译:美国联邦调查局的“特工留守”和“逃避和逃避”计划
机译:传染源传播中的异质性:对控制程序设计的启示
机译:用于代理控制的Teleo-Reactive程序
机译:水生植物控制研究计划。真菌病原菌作为myriophyllum spicatum的防治剂的评估