default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st TACAS@ETAPS 2025: Hamilton, ON, Canada - Part II
- Arie Gurfinkel
, Marijn Heule:
Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II. Lecture Notes in Computer Science 15697, Springer 2025, ISBN 978-3-031-90652-7
SAT and SMT Solving
- Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin:
Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation. 3-22 - David Chocholatý, Vojtech Havlena, Lukás Holík, Jan Hranicka, Ondrej Lengál, Juraj Síc:
Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation. 23-44 - Mazigh Saoudi, Souheib Baarir, Julien Sopena, Thibault Lejemble:
D-Painless: A Framework for Distributed Portfolio SAT Solving. 45-64
Proofs and Certificates
- Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina:
Unsatisfiability Proofs for Horn Solving. 67-87 - Basel Khouri, Yakir Vizel:
Revisiting DRUP-Based Interpolants with CaDiCaL 2.0. 88-107 - Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo:
Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability. 108-129 - Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken:
Fixed Point Certificates for Reachability and Expected Rewards in MDPs. 130-151
Synthesis
- Derek Egolf, Stavros Tripakis:
Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction. 155-176 - Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck:
Synthesis of Universal Safety Controllers. 177-197 - Orna Kupferman, Ofer Leshkowitz:
Synthesis with Guided Environments. 198-216 - Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona, Jakub Svoboda:
Value Iteration with Guessing for Markov Chains and Markov Decision Processes. 217-236
Equivalence Checking
- Mark Baranowski, Zvonimir Rakamaric, Ganesh Gopalakrishnan:
Equivalence Checking of a libm Port. 239-256 - Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert:
Revisiting Differential Verification: Equivalence Verification with Confidence. 257-278 - Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic:
Refuting Equivalence in Probabilistic Programs with Conditioning. 279-300
Games
- Yoav Feinstein, Orna Kupferman, Noam Shenwald:
Non-Zero-Sum Games with Multiple Weighted Objectives. 303-322 - Michaël Cadilhac, Antonio Casares, Pierre Ohlmann:
Fast value iteration: A uniform approach to efficient algorithms for energy games. 323-342 - Rafael Gonçalves, Filipe Gouveia, Inês Lynce, José Fragoso Santos:
Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming. 343-363 - Chenxi Ji, Huan Zhang, Sayan Mitra:
Reachability for Nonsmooth Systems with Lexicographic Jacobians. 364-384
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-08-16 02:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
