Skip to content

Alternating-Time Stream Logic for Multi-agent Systems.

Sascha Klppelholz, Christel Baier

Year2008
ProceedingsCOORDINATION

Browse the full Coordination paper archive.