Concepedia

Automata Synthesis

Automata Synthesis is the formal process of constructing a finite automaton from a given specification or behavioral description, distinguished by its algorithmic derivation of state-transition structures that provably satisfy logical, linguistic, or system-level constraints.

230

Publications

13K

Citations

470

Authors

231

Institutions

Publications per year

2017–2026

33

Parents

Publications

230

On the synthesis of a reactive module

Amir Pnueli, Roni Rosner · 1989 · 1.4K citations · Full text

, , +17

Regular Expressions and State Graphs for Automata

Robert McNaughton, Hisao Yamada · IEEE Transactions on Electronic Computers · 1960 · 521 citations

, , +13

On the Synthesis of Finite-State Machines from Samples of Their Behavior

Alan W. Biermann, Jerome A. Feldman · IEEE Transactions on Computers · 1972 · 508 citations

, , +15

Testing and generating infinite sequences by a finite automaton

Robert McNaughton · Information and Control · 1966 · 481 citations

, , +7

Decision problems of finite automata design and related arithmetics

Calvin C. Elgot · Transactions of the American Mathematical Society · 1961 · 443 citations

, , +9

1–5 of 230

Authors

470

  1. MY
    Moshe Y. Vardi

    Rice University, United States

    7 publications · 187 citations

    7

    h-index

  2. JD
    Jan Daciuk

    University of Pretoria, South Africa

    5 publications · 316 citations

    5

    h-index

  3. RM
    Robi Malik

    University of Waikato, New Zealand

    5 publications · 204 citations

    5

    h-index

  4. MF
    Martin Fabian

    Chalmers University of Technology, Sweden

    5 publications · 132 citations

    5

    h-index

  5. JE
    José E.R. Cury

    Universidade Federal de Santa Catarina, Brazil

    5 publications · 203 citations

    5

    h-index

1–5 of 470

Institutions

231

  1. Centre National de la Recherche Scientifique

    Paris, France

    10 h-index

    13 publications

    569 citations

  2. Eindhoven University of Technology

    Eindhoven, The Netherlands

    7 h-index

    13 publications

    335 citations

  3. McGill University

    Montreal, Canada

    7 h-index

    11 publications

    563 citations

  4. Chalmers University of Technology

    Gothenburg, Sweden

    7 h-index

    14 publications

    484 citations

  5. Rice University

    Houston, United States

    6 h-index

    7 publications

    175 citations

  6. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    5 h-index

    7 publications

    200 citations

  7. University of Waikato

    Hamilton, New Zealand

    5 h-index

    7 publications

    236 citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    5 h-index

    9 publications

    556 citations

1–8 of 231

Venues

  1. IEEE Transactions on Automatic Control

    11 publications · 549 citations

    11

    h-index

  2. Theoretical Computer Science

    7 publications · 669 citations

    7

    h-index

  3. arXiv (Cornell University)

    Repository · 4 publications · 93 citations

    5

    h-index

  4. IEEE Transactions on Computers

    5 publications · 732 citations

    5

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 81 citations

    4

    h-index

1–5