第十二届博弈、自动机、逻辑与形式验证国际研讨会会议论文集
形式语言与自动机理论
2021-09-17 v1 计算机科学与博弈论
计算机科学中的逻辑
摘要
本卷收录了第十二届博弈、自动机、逻辑与形式验证国际研讨会（GandALF 2021）的会议论文。GandALF 2021 研讨会的宗旨是汇聚来自学术界与工业界、在博弈、自动机、逻辑与形式验证领域积极工作的研究者。其理念是涵盖从理论到应用的广泛主题谱系，并促进交叉融合。
引用
@article{arxiv.2109.07798,
title = {Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification},
author = {Pierre Ganty and Davide Bresolin},
journal= {arXiv preprint arXiv:2109.07798},
year = {2021}
}