Interacting automata
From MaRDI portal
Publication:1816030
DOI10.1007/BF01246512zbMath0875.68659OpenAlexW4237139111MaRDI QIDQ1816030
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
Related Items (7)
Determinization of logical specifications of automata ⋮ Resolution-based approach to compatibility analysis of interacting automata ⋮ Harmonization of interacting automata ⋮ Design of reactive algorithms by solving equations over automata ⋮ Using the compatibility analysis of logical specifications of automata to solve game problems ⋮ Unnamed Item ⋮ General method of testing the compatibility of interacting automata with finite memory
Cites Work
This page was built for publication: Interacting automata
