Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings
暫譯: 自動化技術於驗證與分析：第23屆國際研討會，ATVA 2025，印度班加羅爾，2025年10月27日至31日，會議錄
D´souza, Meenakshi, Komondoor, Raghavan, Srivathsan, B.
- 出版商: Springer
- 出版日期: 2025-10-26
- 售價: $3,760
- 貴賓價: 9.5 折 $3,572
- 語言: 英文
- 頁數: 474
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032087066
- ISBN-13: 9783032087065
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27-31, 2025.
The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification.
商品描述(中文翻譯)
本書為第23屆自動化技術驗證與分析國際研討會（ATVA 2025）的經過審核的會議論文集，該會議於2025年10月27日至31日在印度班加羅爾舉行。
會議論文集包含17篇完整論文和4篇短文，這些論文經過仔細審核並從59篇投稿中選出。論文依主題分為以下幾個部分：自動機與時間邏輯；遊戲與控制器合成；監控與執行時驗證；概率驗證與量子計算；學習；混合與動態系統；以及驗證。
