• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>AI communications >Efficient decision procedures for the integration of planning and formal verification in advanced systems
【24h】

Efficient decision procedures for the integration of planning and formal verification in advanced systems

机译：在高级系统中整合计划和形式验证的有效决策程序

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The autonomy and safety of critical systems is a crucial task that can be addressed via "Safe Planning". Safe Planning is the task of generating/validating plans that not only achieve the goal, but verify also a set of user-defined properties. A promising approach for Safe Planning is the result of the integration between planning and formal verification techniques and relies on a compilation into a propositional formula. The contribution of this thesis in the area of Safe Planning is in particular in the design and in the implementation of specialized back-end solvers for deciding theories resulting from alternative approaches, that extend the one based on propositional satisfiability, defined in this thesis as well.
机译：关键系统的自治性和安全性是一项至关重要的任务，可以通过“安全计划”来解决。安全计划是生成/验证计划的任务，这些计划不仅可以实现目标，还可以验证一组用户定义的属性。安全计划的一种有前途的方法是计划与形式验证技术之间整合的结果，并且依赖于将其汇编成命题公式。本论文在安全规划领域的贡献尤其在于设计和实施专门的后端求解器，以决定由其他方法得出的理论，这些方法也基于本文中定义的命题可满足性进行了扩展。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号