SAT-Based Minimization of Deterministic ω-Automata

被引：5
|
作者：
Baarir, Souheib [1 ]
Duret-Lutz, Alexandre [1 ]
机构：
[1] EPITA, LRDE, Le Kremlin Bicetre, France
来源：
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015) | 2015年 / 9450卷
关键词：
D O I：
10.1007/978-3-662-48899-7_6
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We describe a tool that inputs a deterministic omega-automaton with any acceptance condition, and synthesizes an equivalent omega-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exists. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal omega-automata equivalent to given properties, for different acceptance conditions.
引用
收藏
页码：79 / 87
页数：9
相关论文
共 50 条
  • [41] SAT-Based Analysis of Sensitizable Paths
    Sauer, Matthias
    Czutro, Alexander
    Schubert, Tobias
    Hillebrecht, Stefan
    Becker, Bernd
    Polian, Ilia
    [J]. IEEE DESIGN & TEST, 2013, 30 (04) : 81 - 88
  • [42] CryptoSAT: a tool for SAT-based cryptanalysis
    Lafitte, Frederic
    [J]. IET INFORMATION SECURITY, 2018, 12 (06) : 463 - 474
  • [43] SAT-Based Arithmetic Support for Alloy
    Cornejo, Cesar
    [J]. 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 1161 - 1163
  • [44] Instance generation for SAT-based ATPG
    Tille, Daniel
    Fey, Goerschwin
    Drechsler, Rolf
    [J]. PROCEEDINGS OF THE 2007 IEEE WORKSHOP ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2007, : 153 - +
  • [45] SAT-based sequential depth computation
    Mneimneh, M
    Sakallah, K
    [J]. ASP-DAC 2003: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2003, : 87 - 92
  • [46] SAT-Based Quantum Circuit Adaptation
    Brandhofer, Sebastian
    Kim, Jinwoong
    Niu, Siyuan
    Bronn, Nicholas T.
    [J]. 2023 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2023,
  • [47] Incremental SAT-based Exact Synthesis
    Zou, Sunan
    Zhang, Jiaxi
    Luo, Guojie
    [J]. PROCEEDING OF THE GREAT LAKES SYMPOSIUM ON VLSI 2024, GLSVLSI 2024, 2024, : 158 - 163
  • [48] OptiLog: A Framework for SAT-based Systems
    Ansotegui, Carlos
    Ojeda, Jesus
    Pacheco, Antonio
    Pon, Josep
    Salvia, Josep M.
    Torres, Eduard
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, 2021, 12831 : 1 - 10
  • [49] Continuous time in a SAT-based planner
    Shin, JA
    Davis, E
    [J]. PROCEEDING OF THE NINETEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE SIXTEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2004, : 531 - 536
  • [50] Efficient Deterministic Finite Automata Minimization Based on Backward Depth Information
    Liu, Desheng
    Huang, Zhiping
    Zhang, Yimeng
    Guo, Xiaojun
    Su, Shaojing
    [J]. PLOS ONE, 2016, 11 (11):
12345