会议文集


文集名Tools and Algorithms for the Construction and Analysis of Systems
会议名31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025), Held as Part of the International Joint Conferences on Theory and Practice of Software (ETAPS 2025)
中译名《第三十一届国际系统结构与分析的工具及算法会议，卷2》
会议日期May 3-8, 2025
会议地点Hamilton, ON, Canada
出版年2025
馆藏号356889


题名作者出版年
Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter EquationDaimy Van Caudenberg; Bart Bogaerts; Leandro Vendramin2025
Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model GenerationDavid Chocholaty; Vojtech Havlena; Lukas Holik; Jan Hranicka; Ondrej Lengal; Juraj Sic2025
D-Painless: A Framework for Distributed Portfolio SAT SolvingMazigh Saoudi; Souheib Baarir; Julien Sopena; Thibault Lejemble2025
Unsatisfiability Proofs for Horn SolvingRodrigo Otoni; Martin Blicha; Matias Barandiaran Rivera; Patrick Eugster; Jan Kofron; Natasha Sharygina2025
Revisiting DRUP-based Interpolants with CaDiCaL 2.0Basel Khouri; Yakir Vizel2025
Certifying Pareto Optimality in Multi-objective Maximum SatisfiabilityChristoph Jabs; Jeremias Berg; Bart Bogaerts; Matti Jarvisalo2025
Fixed Point Certificates for Reachability and Expected Rewards in MDPsKrishnendu Chatterjee; Tim Quatmann; Maximilian Schaffeler; Maximilian Weininger; Tobias Winkler; Daniel Zilken2025
Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation ReductionDerek Egolf; Stavros Tripakis2025
Synthesis of Universal Safety ControllersBernd Finkbeiner; Niklas Metzger; Satya Prakash Nayak; Anne-Kathrin Schmuck2025
Synthesis with Guided EnvironmentsOrna Kupferman; Ofer Leshkowitz2025
Value Iteration with Guessing for Markov Chains and Markov Decision ProcessesKrishnendu Chatterjee; Mahdi JafariRaviz; Raimundo Saona; Jakub Svoboda2025
Equivalence Checking of a libm PortMark S. Baranowski; Zvonimir Rakamaric; Ganesh Gopalakrishnan2025
Revisiting Differential Verification: Equivalence Verification with ConfidenceSamuel Teuber; Philipp Kern; Marvin Janzen; Bernhard Beckert2025
Refuting Equivalence in Probabilistic Programs with ConditioningKrishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotny; Dorde Zikelic2025
Non-Zero-Sum Games with Multiple Weighted ObjectivesYoav Feinstein; Orna Kupferman; Noam Shenwald2025
Fast value iteration: A uniform approach to efficient algorithms for energy gamesMichael Cadilhac; Antonio Casares; Pierre Ohlmann2025
Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic ProgrammingRafael Goncalves; Filipe Gouveia; Ines Lynce; Jose Fragoso Santos2025
Reachability for Nonsmooth Systems with Lexicographic JacobiansChenxi Ji; Huan Zhang; Sayan Mitra2025



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