Team Automata Satisfying Compositionality.

Maurice H. ter Beek, Jetty Kleijn

Browse the full FM paper archive.