Contract-Based Specification Refinement and Repair for Mission Planning.
2023 IEEE/ACM 11TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE（2023）
关键词
assume-guarantee contracts,contract-based specification refinement,formal specifications,mission planning,mission requirements,mission specifications,repair,robotic missions
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要