Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors.

Massimiliano de Leoni, Paolo Felli, Marco Montali

Browse the full KR paper archive.