![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
CAV 2024, Montreal, QC, Canada - Part III
- Arie Gurfinkel
, Vijay Ganesh
:
Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III. Lecture Notes in Computer Science 14683, Springer 2024, ISBN 978-3-031-65632-3
Synthesis and Repair
- Raven Beutner
, Tzu-Han Hsu
, Borzoo Bonakdarpour
, Bernd Finkbeiner
:
Syntax-Guided Automated Program Repair for Hyperproperties. 3-26 - Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni:
The SemGuS Toolkit. 27-40 - Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig:
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. 41-63 - Bernd Finkbeiner
, Niklas Metzger
, Yoram Moses
:
Information Flow Guided Synthesis with Unbounded Communication. 64-86 - Bernd Finkbeiner
, Hadar Frenkel
, Niklas Metzger
, Julian Siber
:
Synthesis of Temporal Causality. 87-111 - Yi Lin
, Lucas Martinelli Tabajara
, Moshe Y. Vardi
:
Dynamic Programming for Symbolic Boolean Realizability and Synthesis. 112-134 - Anne-Kathrin Schmuck
, Philippe Heim
, Rayna Dimitrova
, Satya Prakash Nayak
:
Localized Attractor Computations for Infinite-State Games. 135-158
Learning
- Alessandro Abate
, Mirco Giacobbe
, Yannik Schnitzer
:
Bisimulation Learning. 161-183 - Taylor Dohmen
, Mateo Perez
, Fabio Somenzi
, Ashutosh Trivedi
:
Regular Reinforcement Learning. 184-208 - Mojtaba Valizadeh
, Nathanaël Fijalkow
, Martin Berger
:
LTL Learning on GPUs. 209-231 - Yuning Wang, He Zhu
:
Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models. 232-255
Cyberphysical and Hybrid Systems
- Florian Lercher, Matthias Althoff
:
Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems. 259-281 - Sota Sato
, Jie An
, Zhenya Zhang
, Ichiro Hasuo
:
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. 282-306 - Dejin Ren
, Zhen Liang
, Chenyu Wu, Jianqiang Ding
, Taoran Wu
, Bai Xue
:
Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis. 307-328 - Jiawan Wang
, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu
, Xuandong Li:
Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. 329-355
Probabilistic Systems
- Tobias Meggendorfer
, Maximilian Weininger:
Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. 359-372 - Alyzia-Maria Konsta
, Alberto Lluch-Lafuente
, Christoph Matheja
:
What Should Be Observed for Optimal Reward in POMDPs? 373-394 - Alessandro Abate
, Mirco Giacobbe
, Diptarko Roy:
Stochastic Omega-Regular Verification and Control with Supermartingales. 395-419 - Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu:
Lexicographic Ranking Supermartingales with Lazy Lower Bounds. 420-442 - Shaowei Zhu
, Yunbo Zhang
:
Probabilistic Access Policies with Automated Reasoning Support. 443-466 - Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching. 467-491
Quantum Systems
- Peng Yan
, Hanru Jiang
, Nengkun Yu
:
Approximate Relational Reasoning for Quantum Programs. 495-519 - Aochu Dai, Mingsheng Ying:
QReach: A Reachability Analysis Tool for Quantum Markov Chains. 520-532 - Ji Guan
, Yuan Feng
, Andrea Turrini
, Mingsheng Ying
:
Measurement-Based Verification of Quantum Markov Chains. 533-554 - Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman:
Simulating Quantum Circuits by Model Counting. 555-578
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.