会议文集


文集名Automated Technology for Verification and Analysis
会议名22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024)
中译名《第二十二届国际认证与分析自动化技术研讨会，卷1》
会议日期October 21-25, 2024
会议地点Kyoto, Japan
出版年2025
馆藏号356579


题名作者出版年
Playing Games on AutomataOrna Kupferman2025
Strategy Templates - Robust Certified Interfaces for Interacting SystemsAshwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck2025
The VeriAbs Tool Suite for Code VerificationPriyanka Darke; Bharti Chimdyalwar; R. Venkatesh; Supratik Chakraborty2025
Easy Complementation of History-Deterministic Buchi AutomataBader Abu Radi; Orna Kupferman; Ofer Leshkowitz2025
A Decremental Algorithm for Fair Buchi GamesIrmak Saglam; Anne-Kathrin Schmuck; Munko Tsyrempilon2025
Games with Weighted Multiple ObjectivesOrna Kupferman; Noam Shenwald2025
Proving Cutoff Bounds for Safety Properties in First-Order LogicRaz Lotan; Eden Frenkel; Sharon Shoham2025
Distribution of Reconfiguration Languages Maintaining Tree-Like Communication TopologyDaniel Hausmann; Mathieu Lehaut; Nir Piterman2025
Dynamic Partial Order Reduction for Transactional Programs on Serializable PlatformsParosh Aziz Abdulla; Ashutosh Gupta; Shankara Narayanan Krishna; Omkar Tuppe2025
Deep-Reinforcement-Learning-Based Design Space Exploration for Time-Sensitive NetworkingYu-Cheng Wu; I-Ching Tseng; Chung-Wei Lin2025
Learning Broadcast Protocols with LeoParDSNoa Izsak; Dana Fisman; Swen Jacobs2025
Greybox Learning of Languages Recognizable by Event-Recording AutomataAnirban Majumdar; Sayan Mukherjee; Jean-Francois Raskin2025
Query Learning Bounds for Advice and Nominal AutomataKevin Zhou2025
Guiding Word Equation Solving Using Graph Neural NetworksParosh Aziz Abdulla; Mohamed Faouzi Atig; Julie Cailler; Chencheng Liang; Philipp Rummer2025



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024