SQIG, Instituto de Telecomunicacoes,Dep. Mathematics, IST,Universidade Tecnica de Lisboa, Portugal;
SQIG, Instituto de Telecomunicacoes,Dep. Mathematics, IST,Universidade Tecnica de Lisboa, Portugal;
SQIG, Instituto de Telecomunicacoes,Dep. Mathematics, IST,Universidade Tecnica de Lisboa, Portugal;
Department of Computer Science,School of Science and Technology,Middlesex University, London, UK;
机译:线性逻辑作为时间不确定性下的计划工具
机译:使用机会受限的时间逻辑在感知不确定性下的安全自主
机译:感知的不确定性和行为逻辑:新企业创建过程中的临时性和意外后果
机译:规划不确定性下的时间逻辑
机译:基于图表的路径规划方法,使用线性时间逻辑具有动态障碍的路径规划
机译:当增益函数不对称时在时间不确定性下的运动计划次优
机译:从不确定性数据到时态逻辑规划的稳健政策