中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Computer Aided Verification
会议名36th International Conference on Computer-Aided Verification (CAV 2024)
中译名《第三十六届国际计算机辅助认证会议，卷3》
会议日期July 24-27, 2024
会议地点Montreal, QC, Canada
出版年2024
馆藏号353264


题名作者出版年
Syntax-Guided Automated Program Repair for HyperpropertiesRaven Beutner; Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner2024
The SemGuS ToolkitKeith J. C. Johnson; Andrew Reynolds; Thomas Reps; Loris D'Antoni2024
Relational Synthesis of Recursive Programs via Constraint Annotated Tree AutomataAnders Miltner; Ziteng Wang; Swarat Chaudhuri; Isil Dillig2024
Information Flow Guided Synthesis with Unbounded CommunicationBernd Finkbeiner; Niklas Metzger; Yoram Moses2024
Synthesis of Temporal CausalityBernd Finkbeiner; Hadar Frenkel; Niklas Metzger; Julian Siber2024
Dynamic Programming for Symbolic Boolean Realizability and SynthesisYi Lin; Lucas Martinelli Tabajara; Moshe Y. Vardi2024
Localized Attractor Computations for Infinite-State GamesAnne-Kathrin Schmuck; Philippe Heim; Rayna Dimitrova; Satya Prakash Nayak2024
Bisimulation LearningAlessandro Abate; Mirco Giacobbe; Yannik Schnitzer2024
Regular Reinforcement LearningTaylor Dohmen; Mateo Perez; Fabio Somenzi; Ashutosh Trivedi2024
LTL Learning on GPUsMojtaba Valizadeh; Nathanael Fijalkow; Martin Berger2024
Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned ModelsYuning Wang; He Zhu2024
Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid SystemsFlorian Lercher; Matthias Althoff2024
Optimization-Based Model Checking and Trace Synthesis for Complex STL SpecificationsSota Sato; Jie An; Zhenya Zhang; Ichiro Hasuo2024
Inner-Approximate Reachability Computation via Zonotopic Boundary AnalysisDejin Ren; Zhen Liang; Chenyu Wu; Jianqiang Ding; Taoran Wu; Bai Xue2024
Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSsJiawan Wang; Wenxia Liu; Muzimiao Zhang; Jiaqi Wei; Yuhui Shi; Lei Bu; Xuandong Li2024
Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic GamesTobias Meggendorfer; Maximilian Weininger2024
What Should Be Observed for Optimal Reward in POMDPs?Alyzia-Maria Konsta; Alberto Lluch Lafuente; Christoph Matheja2024
Stochastic Omega-Regular Verification and Control with SupermartingalesAlessandro Abate; Mirco Giacobbe; Diptarko Roy2024
Lexicographic Ranking Supermartingales with Lazy Lower BoundsToru Takisaka; Libo Zhang; Changjiang Wang; Jiamou Liu2024
Probabilistic Access Policies with Automated Reasoning SupportShaowei Zhu; Yunbo Zhang2024
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024