default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCAV 2025, Zagreb, Croatia - Part IV
- Ruzica Piskac
, Zvonimir Rakamaric:
Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. Lecture Notes in Computer Science 15934, Springer 2025, ISBN 978-3-031-98684-0
Quantum Computing
- Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xin-Chuan Wu, Albert T. Schmitz, Steve Zdancewic, Gushu Li:
Verifying Fault-Tolerance of Quantum Error Correction Codes. 3-27 - Ziyuan Wang, Bin Cheng, Longxiang Yuan, Zhengfeng Ji:
FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams. 28-52 - Yingte Xu, Li Zhou, Gilles Barthe:
D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation. 53-76
Synthesis and Learning
- Yuning Wang, He Zhu:
Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks. 79-103 - Eric Hsiung, Joydeep Biswas, Swarat Chaudhuri:
Automata Learning from Preference and Equivalence Queries. 104-126 - Benjamin von Berg, Bernhard K. Aichernig:
Extending AALpy with Passive Learning: A Generalized State-Merging Approach. 127-140 - Markus Frohme, Falk Howar, Bernhard Steffen:
LearnLib: 10 years later. 141-160 - Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer:
Branching Bisimulation Learning. 161-184 - Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi:
A Misconception-Driven Adaptive Tutor for Linear Temporal Logic. 185-200 - Hernán Gagliardi, Víctor A. Braberman, Sebastián Uchitel:
Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control. 201-223 - Andoni Rodríguez, Felipe Gorostiaga, César Sánchez:
Counter Example Guided Reactive Synthesis for LTL Modulo Theories*. 224-248 - Samuel Williams, Jyotirmoy Deshmukh:
Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications. 249-273 - Shaun Azzopardi, Luca Di Stefano, Nir Piterman, Gerardo Schneider:
Full LTL Synthesis over Infinite-State Arenas. 274-297 - Philippe Heim, Rayna Dimitrova:
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems. 298-312
Applications
- Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo:
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions. 315-337 - Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl:
Data-Driven Verification of Procedural Programs with Integer Arrays. 338-363 - Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti:
Automated Parameterized Verification of a Railway Protection System with Dafny. 364-376 - Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko:
Charon: An Analysis Framework for Rust. 377-391 - Frans Skarman, Lucas Klemmer, Daniel Große, Oscar Gustafsson, Kevin Laeufer:
Surfer - An Extensible Waveform Viewer. 392-404 - Zhaoyu Li, Hangrui Bi, Jialiang Sun, Zenan Li, Kaiyu Yang, Xujie Si:
PyEuclid: A Versatile Formal Plane Geometry System in Python. 405-420
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 2026-04-30 00:10 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:
