Autonomous agents; High-level decision-making; Robotic applications; ROS; Model checking;
机译:归纳逻辑编程中的可验证代理交互:SCIFF框架
机译:可验证的自我意识代理的自主系统
机译:面向对象的BeNet编程,用于自治代理的以数据为中心的自底向上设计
机译:可验证且可扩展的自主特工任务计划综合
机译:使用逻辑编程对分布式自治代理进行模型检查。
机译:一类具有析取约束的数学程序的新可验证平稳概念
机译:编程可验证的异构代理系统