Dynamic Logic for Ensembles.

Rolf Hennicker, Martin Wirsing

Browse the full ISoLA paper archive.