论文标题
会议记录第二个关于自主系统正式方法的研讨会
Proceedings Second Workshop on Formal Methods for Autonomous Systems
论文作者
论文摘要
自主系统是高度复杂的，并且为应用形式方法带来了独特的挑战。自主系统在没有人类干预的情况下起作用，并且经常嵌入机器人系统中，以便它们可以与现实世界互动。因此，它们表现出安全 - 关键，网络物理，混合和实时系统的特性。 FMA的目的是将主要的研究人员汇集在一起，他们使用正式方法来应对自动系统的独特挑战，以展示最新的和正在进行的工作。我们对使用形式方法来指定，模型或验证自主或机器人系统感兴趣；全部或部分。我们还对这种新兴正式方法应用的成功工业应用和潜在的未来方向感兴趣。
Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the real world. As such, they exhibit the properties of safety-critical, cyber-physical, hybrid, and real-time systems. The goal of FMAS is to bring together leading researchers who are tackling the unique challenges of autonomous systems using formal methods, to present recent and ongoing work. We are interested in the use of formal methods to specify, model, or verify autonomous or robotic systems; in whole or in part. We are also interested in successful industrial applications and potential future directions for this emerging application of formal methods.
