Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34th CAV 2022: Haifa, Israel - Part II
- Sharon Shoham
, Yakir Vizel:
Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. Lecture Notes in Computer Science 13372, Springer 2022, ISBN 978-3-031-13187-5
Probabilistic Techniques
- Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham:
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. 3-25 - Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates. 26-47 - Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele:
Playing Against Fair Adversaries in Stochastic Games with Total Rewards. 48-69 - Lorenz Leutgeb, Georg Moser, Florian Zuleger:
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures. 70-91 - Aina Niemetz, Mathias Preiner, Clark W. Barrett:
Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers. 92-106
Automata and Logic
- Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi:
FORQ-Based Language Inclusion Formal Testing. 109-129 - Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Peter Müller, Alexander J. Summers:
Sound Automation of Magic Wands. 130-151 - Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. 152-173 - Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko:
From Spot 2.0 to Spot 2.10: What's New? 174-187 - Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková:
Complementing Büchi Automata with Ranker. 188-201
Deductive Verification and Decision Procedures
- Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Clark W. Barrett, Cesare Tinelli:
Even Faster Conflicts and Lazier Reductions for String Solvers. 205-226 - Shaowei Cai, Bohan Li, Xindi Zhang:
Local Search for SMT on Linear Integer Arithmetic. 227-248 - Marco Faella, Gennaro Parlato:
Reasoning About Data Trees Using CHCs. 249-271 - Joshua M. Cohen, Qinshi Wang, Andrew W. Appel:
Verified Erasure Correction in Coq with MathComp and VST. 272-292 - Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli:
End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. 293-316 - Joonwon Choi, Adam Chlipala, Arvind:
Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols. 317-339
Machine Learning
- Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur:
Specification-Guided Learning of Nash Equilibria with High Social Welfare. 343-363 - Jingbo Wang, Yannan Li, Chao Wang:
Synthesizing Fair Decision Trees via Iterative Constraint Solving. 364-385 - Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo, Juneyoung Lee:
SMT-Based Translation Validation for Machine Learning Compiler. 386-407 - Ji Guan, Wang Fang, Mingsheng Ying:
Verifying Fairness in Quantum Machine Learning. 408-429 - Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf:
MoGym: Using Formal Models for Training and Verifying Decision-making Agents. 430-443
Synthesis and Concurrency
- Mateus de Oliveira Oliveira:
Synthesis and Analysis of Petri Nets from Causal Specifications. 447-467 - Michael Blondin, Filip Mazowiecki, Philip Offtermatt:
Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations. 468-489 - Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann:
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. 490-504 - Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis. 505-525 - Andreas Gittis, Eric Vin, Daniel J. Fremont:
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. 526-546
a service of 
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 2024-08-01 20:03 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:
