default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCAV 2025, Zagreb, Croatia - Part II
- Ruzica Piskac
, Zvonimir Rakamaric:
Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II. Lecture Notes in Computer Science 15932, Springer 2025, ISBN 978-3-031-98678-9
Markov Decision Process and Probabilistic Reasoning
- Alessandro Abate, Mirco Giacobbe, Diptarko Roy:
Quantitative Supermartingale Certificates. 3-28 - Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic:
Supermartingale Certificates for Quantitative Omega-Regular Verification and Control. 29-55 - Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer:
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. 56-81 - Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin:
On the Almost-Sure Termination of Probabilistic Counter Programs. 82-104 - Francesco Pontiggia, Ezio Bartocci, Michele Chiari:
POPACheck: A Model Checker for Probabilistic Pushdown Automata. 105-121 - Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich:
A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs. 122-146 - Suguman Bansal, Ramneet Singh:
INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition. 147-168 - Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák:
Small Decision Trees for MDPs with Deductive Synthesis. 169-192 - Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold:
Approximating Fixpoints of Approximated Functions. 193-215 - Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga:
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. 216-230 - Uddalok Sarkar, Sourav Chakraborty, Kuldeep S. Meel:
Assessing the Quality of Binomial Samplers: A Statistical Distance Framework. 231-253 - Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel:
Robust Probabilistic Bisimilarity for Labelled Markov Chains. 254-275 - Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang:
Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata. 276-298
Neural Networks
- Geonho Hwang, Wonyeol Lee, Yeachan Park, Sejun Park, Feras Saad:
Floating-Point Neural Networks are Provably Robust Universal Approximators. 301-326 - James Tobler, Hira Taqdees Syeda, Toby Murray:
A Formally Verified Robustness Certifier for Neural Networks. 327-348 - Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen:
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates. 349-375 - Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Qing Liu, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos:
StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems. 376-394 - Tianhao Wei, Hanjiang Hu, Luca Marzari, Kai S. Yun, Peizhi Niu, Xusheng Luo, Changliu Liu:
ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks. 395-408 - Hai Duong, ThanhVu Nguyen, Matthew B. Dwyer:
NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks. 409-423
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-05-17 00:01 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:
