Interacting automata

DOI10.1007/BF01246512MaRDI QIDQ1816030zbMATH OpenOpenAlexFDO

Authors A. N. Chebotarev

Publication date 18 December 1996

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01246512

zbMATH Keywords

compatibilityinteracting partial nondeterministic automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites work

• THE ABSTRACT THEORY OF AUTOMATA

Cited in

(10)

• The complexity of interacting automata
• Determinization of logical specifications of automata
• Resolution-based approach to compatibility analysis of interacting automata
• Solving inequalities over finite state machines in the reactive systems design
• Design of reactive algorithms by solving equations over automata
• Using the compatibility analysis of logical specifications of automata to solve game problems
• scientific article; zbMATH DE number 880299 (Why is no real title available?)
• Harmonization of interacting automata
• General method of testing the compatibility of interacting automata with finite memory
• Interaction Graphs

This page was built for publication: Interacting automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1816030)