Checking LTL Satisfiability via End-to-end Learning-Reference-Cited by-同舟云学术

Checking LTL Satisfiability via End-to-end Learning

Published:2022-10-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Luo Weilin¹^ORCID,Wan Hai¹^ORCID,Zhang Delong¹^ORCID,Du Jianfeng²,Su Hengdi³

Affiliation:

1. School of Computer Science and Engineering, Sun Yat-sen University, China

2. Guangdong University of Foreign Studies, China and Pazhou Lab, China

3. Sun Yat-sen University, China

Funder

Humanities and Social Science Research Project of Ministry of Education

Guangdong Basic and Applied Basic Research Foundation

Guangzhou Science and Technology Project

National Natural Science Foundation of China

Guangzhou Basic and Applied Basic Research Foundation

Guizhou Science Support Project

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3551349.3561163

Reference73 articles.

1. Miltiadis Allamanis Marc Brockschmidt and Mahmoud Khademi. 2018. Learning to Represent Programs with Graphs. In ICLR. Miltiadis Allamanis Marc Brockschmidt and Mahmoud Khademi. 2018. Learning to Represent Programs with Graphs. In ICLR.

2. Miltiadis Allamanis Pankajan Chanthirasegaran Pushmeet Kohli and Charles Sutton. 2017. Learning Continuous Semantic Representations of Symbolic Expressions. In ICML Vol. 70. 80–88. Miltiadis Allamanis Pankajan Chanthirasegaran Pushmeet Kohli and Charles Sutton. 2017. Learning Continuous Semantic Representations of Symbolic Expressions. In ICML Vol. 70. 80–88.

3. Dalal Alrajeh Jeff Kramer Alessandra Russo and Sebastin Uchitel. 2009. Learning operational requirements from goal models. In ICSE. 265–275. Dalal Alrajeh Jeff Kramer Alessandra Russo and Sebastin Uchitel. 2009. Learning operational requirements from goal models. In ICSE. 265–275.

4. Saeed Amizadeh Sergiy Matusevych and Markus Weimer. 2019. Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach. In ICLR. Saeed Amizadeh Sergiy Matusevych and Markus Weimer. 2019. Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach. In ICLR.

5. Matteo Bertello , Nicola Gigante , Angelo Montanari , and Mark Reynolds . 2016 . Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. In IJCAI. 950–956. Matteo Bertello, Nicola Gigante, Angelo Montanari, and Mark Reynolds. 2016. Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. In IJCAI. 950–956.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11