The following pages link to Interacting automata (Q1816030):
Displaying 6 items.
- Harmonization of interacting automata (Q904417) (← links)
- Resolution-based approach to compatibility analysis of interacting automata (Q1127549) (← links)
- General method of testing the compatibility of interacting automata with finite memory (Q1582909) (← links)
- Determinization of logical specifications of automata (Q1907766) (← links)
- Design of reactive algorithms by solving equations over automata (Q2263188) (← links)
- Using the compatibility analysis of logical specifications of automata to solve game problems (Q2263301) (← links)
