CAV (3)

Publications

2024

Alyzia-Maria Konsta, Alberto Lluch Lafuente, Christoph Matheja
What Should Be Observed for Optimal Reward in POMDPs? CAV (3) (2024)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
Localized Attractor Computations for Infinite-State Games. CAV (3) (2024)
Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Regular Reinforcement Learning. CAV (3) (2024)
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis. CAV (3) (2024)
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
Bisimulation Learning. CAV (3) (2024)
Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. CAV (3) (2024)
Yuning Wang, He Zhu
Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models. CAV (3) (2024)
Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. CAV (3) (2024)
Florian Lercher, Matthias Althoff
Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems. CAV (3) (2024)
Tobias Meggendorfer, Maximilian Weininger
Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. CAV (3) (2024)
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Synthesis of Temporal Causality. CAV (3) (2024)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis with Unbounded Communication. CAV (3) (2024)
Aochu Dai, Mingsheng Ying
QReach: A Reachability Analysis Tool for Quantum Markov Chains. CAV (3) (2024)
Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman
Simulating Quantum Circuits by Model Counting. CAV (3) (2024)
Peng Yan, Hanru Jiang, Nengkun Yu
Approximate Relational Reasoning for Quantum Programs. CAV (3) (2024)
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
Compositional Value Iteration with Pareto Caching. CAV (3) (2024)
Yi Lin, Lucas Martinelli Tabajara, Moshe Y. Vardi
Dynamic Programming for Symbolic Boolean Realizability and Synthesis. CAV (3) (2024)
Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
LTL Learning on GPUs. CAV (3) (2024)
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
Measurement-Based Verification of Quantum Markov Chains. CAV (3) (2024)
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
Syntax-Guided Automated Program Repair for Hyperproperties. CAV (3) (2024)
Shaowei Zhu, Yunbo Zhang
Probabilistic Access Policies with Automated Reasoning Support. CAV (3) (2024)
Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu
Lexicographic Ranking Supermartingales with Lazy Lower Bounds. CAV (3) (2024)
Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li
Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. CAV (3) (2024)
Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni
The SemGuS Toolkit. CAV (3) (2024)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
Stochastic Omega-Regular Verification and Control with Supermartingales. CAV (3) (2024)

volume 14683, 2024

Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III CAV (3) 14683 (2024)

2023

volume 13966, 2023

Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III CAV (3) 13966 (2023)