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
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.