中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Automated Technology for Verification and Analysis
会议名23rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2025)
中译名《第二十三届国际认证与分析自动化技术研讨会》
会议日期October 27-31, 2025
会议地点Bengaluru, India
出版年2026
馆藏号359386


题名作者出版年
Componentwise Automata Learning for System IntegrationHiroya Fujinami; Masaki Waga; Jie An; Kohei Suenaga; Nayuta Yanagisawa; Hiroki Iseri; Ichiro Hasuo2026
Learning Event-Recording Automata PassivelyAnirban Majumdar; Sayan Mukherjee; Jean-Francois Raskin2026
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri NetsBruno Maria Rene Gonzalez; Peter Gjol Jensen; Stefan Schmid; Jiri Srba; Martin Zimmermann2026
Quantitative Strategy TemplatesAshwani Anand; Satya Prakash Nayak; Ritam Raha; Irmak Saglam; Anne-Kathrin Schmuck2026
Energy Games with Weight UncertaintyOrna Kupferman; Naama Shamash Halevy2026
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic GamesKittiphon Phalakarn; Yun Chen Tsai; Ichiro Hasuo2026
Prompt Runtime EnforcementAyush Anand; Loic Germerie Guizouarn; Thierry Jeron; Sayan Mukherjee; Srinivas Pinisetty; Ocan Sankur2026
Efficient Dynamic Shielding for Parametric Safety SpecificationsDavide Corsi; Kaushik Mallik; Andoni Rodriguez; Cesar Sanchez2026
Learning Verified Monitors for Hidden Markov ModelsLuko van der Maas; Sebastian Junges2026
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov ChainsLinus Heck; Tim Quatmann; Jip Spel; Joost-Pieter Katoen; Sebastian Junges2026
Towards Unified Probabilistic Verification and Validation of Vision-Based AutonomyJordan Peper; Yan Miao; Sayan Mitra; Ivan Ruchkin2026
Q-Sylvan: A Parallel Decision Diagram Package for Quantum ComputingSebastiaan Brand; Alfons Laarman2026
Inductive Generalization in Reinforcement Learning from SpecificationsVignesh Subramanian; Rohit Kushwah; Subhajit Roy; Suguman Bansal2026
Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN VerificationYuke Liao; Blaise Genest; Kuldeep Meel; Shaan Aryaman2026
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning ModelsAniruddha Joshi; Supratik Chakraborty; S. Akshay; Shetal Shah; Hazem Torfah; Sanjit Seshia2026
Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODELuca Cardelli; Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin2026
Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-Like CertificatesLudovico Battista; Stefano Tonetta2026
Control Closure CertificatesVishnu Murali; Mohammed Adib Oumer; Majid Zamani2026
PolyQEnt: A Polynomial Quantified Entailment SolverKrishnendu Chatterjee; Amir Kafshdar Goharshady; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Milad Saadat; Maximilian Seeliger; Dorde Zikelic2026
Data Structures for Finite Downsets of Natural Vectors: Theory and PracticeMichael Cadilhac; Vanessa Flugel; Guillermo A. Perez; Shrisha Rao2026
12



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