Responsibility and verification: Importance value in temporal logics.

Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer

Browse the full LICS paper archive.