Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking-Reference-Cited by-同舟云学术

Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking

Published:2024-09-11 Issue: Volume:139 Page:996-1008
ISSN:
Container-title:Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Luo Weilin¹^ORCID,Liang Pingjia¹^ORCID,Qiu Junming¹^ORCID,Chen Polong¹^ORCID,Wan Hai¹^ORCID,Du Jianfeng²^ORCID,Fang Weiyuan¹^ORCID

Affiliation:

1. Sun Yat-sen University, Guangzhou, China

2. Guangdong University of Foreign Studies, Guangzhou, China

Funder

National Natural Science Foundation of China

Guangdong Basic and Applied Basic Research Foundation

Guangzhou Science and Technology Project

Shenzhen Science and Technology Program

Guizhou Provincial Science and Technology Projects

Humanities and Social Science Research Project of Ministry of Education

the Fundamental Research Funds for the Central Universities, Sun Yat-sen University

Publisher

ACM

Link

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

Reference67 articles.

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

2. Deductive verification of simple foraging robotic behaviours

3. Irwan Bello Hieu Pham Quoc V. Le Mohammad Norouzi and Samy Bengio. 2017. Neural Combinatorial Optimization with Reinforcement Learning. In ICLR. https://doi.org/10.48550/arXiv.1611.09940 10.48550/arXiv.1611.09940

4. Consistency checking in requirements analysis

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.