Finite State Machine Composition

Finite State Machine Composition is a formal method that integrates multiple finite state machines into a unified system through well-defined synchronization or interaction mechanisms, preserving their individual behaviors while enabling collective dynamics.

16

Publications

378

Citations

30

Authors

17

Institutions

Publications per year

2017–2026

1

Authors

30

  1. RM
    Robi Malik

    University of Waikato, New Zealand

    6 publications · 119 citations

    6

    h-index

  2. SM
    Sahar Mohajerani

    Chalmers University of Technology, Sweden

    3 publications · 56 citations

    3

    h-index

  3. MF
    Martin Fabian

    Chalmers University of Technology, Sweden

    3 publications · 56 citations

    3

    h-index

  4. CA
    Cyril Allauzen

    Google (United States), United States

    2 publications · 65 citations

    2

    h-index

  5. MR
    Michael Riley

    AT&T (United States), United States

    2 publications · 65 citations

    2

    h-index

1–5 of 30

Venues

  1. 1

    h-index

  2. Robotics and Autonomous Systems

    1 publications · 25 citations

    1

    h-index

  3. Kybernetes

    1 publications · 27 citations

    1

    h-index

  4. IFAC Proceedings Volumes

    1 publications · 11 citations

    1

    h-index

  5. Minds and Machines

    1 publications · 24 citations

    1

    h-index

1–5