5、第27届工业关键系统形式化方法国际会议（FMICS 2022）议程与主旨演讲

第27届工业关键系统形式化方法国际会议（FMICS 2022）议程与主旨演讲

1. 会议议程概述

第27届工业关键系统形式化方法国际会议（FMICS 2022）于2022年9月14日至15日在波兰华沙举行。本次会议旨在探讨形式化方法在工业关键系统中的应用，为科研人员提供一个交流平台，分享最新的研究成果和技术进展。会议由ERCIM组织，并在CONFEST框架下进行，与多个国际会议同期举办，包括第33届并发理论国际会议（CONCUR 2022）、第19届定量评估系统国际会议（QEST 2022）以及第20届形式化建模与时间系统分析国际会议（FORMATS 2022）。

会议亮点

• 国际化的参与者 ：来自全球各地的科研人员、工程师和工业界代表齐聚一堂，分享各自的研究成果和实践经验。
• 多样化的议题 ：会议涵盖了一系列与形式化方法相关的主题，包括但不限于强化学习、铁路系统创新、智能合约验证等。
• 丰富的交流机会 ：除了正式的学术报告外，会议还安排了互动环节，如小组讨论、海报展示等，促进了参会者的深入交流。

2. 主旨演讲详情

2.1 Sven Schewe：具有保证的强化学习

演讲背景

随着人工智能技术的发展，强化学习（Reinforcement Learning, RL）作为一种有效的探索与利用方法，逐渐成为控制理论中的重要组成部分。然而，当目标涉及非终止系统时，传统的RL方法面临挑战。如何在不确定环境下确保智