Harmonization of interacting automata
From MaRDI portal
Publication:904417
DOI10.1007/s10559-015-9759-0zbMath1328.68110OpenAlexW2339249738MaRDI QIDQ904417
Publication date: 13 January 2016
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10559-015-9759-0
composition of automataautomaton shift with respect to inputcorrectness of a compositionharmonization of automatainteraction of automata
Related Items
Harmonization of automata specifications represented in the language L, Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata, Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic
Cites Work
- Compositional approach to the development of reactive algorithms
- Defining liveness
- General method of testing the compatibility of interacting automata with finite memory
- Interacting automata
- Deterministic generators and games for Ltl fragments
- Verification, Model Checking, and Abstract Interpretation
- Unnamed Item
- Unnamed Item
- Unnamed Item