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

会议文集


文集名Tools and Algorithms for the Construction and Analysis of Systems
会议名29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023)
中译名《第二十九届国际系统结构与分析的工具及算法会议，卷1》
会议日期April 22-27, 2023
会议地点Paris, France
出版年2023
馆藏号349239


题名作者出版年
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic SystemsKrishnendu Chatterjee; Thomas A. Henzinger; Mathias Lechner; Dorde Zikelic2023
Bounded Model Checking for Asynchronous HyperpropertiesTzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner; Cesar Sanchez2023
Model Checking Linear Dynamical Systems under Floating-point RoundingEngel Lefaucheux; Joel Ouaknine; David Purser; Mohammadamin Sharifi2023
Efficient Loop Conditions for Bounded Model Checking HyperpropertiesTzu-Han Hsu; Cesar Sanchez; Sarai Sheinvald; Borzoo Bonakdarpour2023
Reconciling Preemption Bounding with DPORIason Marmanis; Michalis Kokologiannakis; Viktor Vafeiadis2023
Optimal Stateless Model Checking for Causal ConsistencyParosh Abdulla; Mohamed Faouzi Atig; S. Krishna; Ashutosh Gupta; Omkar Tuppe2023
Symbolic Model Checking for TLA+ Made FasterRodrigo Otoni; Igor Konnov; Jure Kukovec; Patrick Eugster; Natasha Sharygina2023
AutoHyper: Explicit-State Model Checking for HyperLTLRaven Beutner; Bernd Finkbeiner2023
Feature Necessity & Relevancy in ML Classifier ExplanationsXuanxiang Huang; Martin C. Cooper; Antonio Morgado; Jordi Planes; Joao Marques-Silva2023
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural NetworksShahaf Bassan; Guy Katz2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural NetworksXingwu Guo; Ziwei Zhou; Yueling Zhang; Guy Katz; Min Zhang2023
Neural Network-Guided Synthesis of Recursive List FunctionsNaoki Kobayashi; Minchao Wu2023
Modular Mix-and-Match Complementation of Buchi AutomataVojtech Havlena; Ondrej Lengal; Yong Li; Barbora Smahlikova; Andrea Turrini2023
Validating Streaming JSON Documents with Learned VPAsVeronique Bruyere; Guillermo A. Perez; Gaetan Staquet2023
Antichains Algorithms for the Inclusion Problem Between ω-VPLKyveli Doveri; Pierre Ganty; Luka Hadzi-Dokic2023
Stack-Aware HyperpropertiesAli Bajwa; Minjian Zhang; Rohit Chadha; Mahesh Viswanathan2023
Propositional Proof SkeletonsJoseph E. Reeves; Benjamin Kiesl-Reiter; Marijn J. H. Heule2023
Unsatisfiability Proofs for Distributed Clause-Sharing SAT SolversDawn Michaelson; Dominik Schreiber; Marijn J. H. Heule; Benjamin Kiesl-Reiter; Michael W. Whalen2023
CARCARA: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe FormatBruno Andreotti; Hanna Lachnitt; Haniel Barbosa2023
The Packing Chromatic Number of the Infinite Square Grid is 15Bernardo Subercaseaux; Marijn J. H. Heule2023
12



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