Summary
Composition is a key technique in automata theory, used in particular in the model-checking, realisability analysis and automatic synthesis of reactive systems.In plain(ish) English, we develop automata (formal acceptors) that are tailored for these tasks: concise and...
More information & hyperlinks
| Web resources: | https://www2.csc.liv.ac.uk/ |
