...
机译:线性逻辑作为时间不确定性下的计划工具
Linear logic; Artificial intelligence; Planning under uncertainty; Winning strategies; Proofs-as-programs paradigm; Horn linear logic;
机译:线性逻辑作为时间不确定性下的计划工具
机译:Rocs 2.0:用于非线性动力系统的集成时间逻辑控制合成工具
机译:支持学习Buechi自动机和线性时序逻辑的工具
机译:验证域和计划通过编码到无限状态线性时间逻辑中的时间计划
机译:基于图表的路径规划方法,使用线性时间逻辑具有动态障碍的路径规划
机译:线性时序逻辑的后门
机译:线性逻辑作为时间不确定性下的计划工具