Skip to content

Model checking via Effectivity Frames

Simon Prucker requested to merge effectFrames into modcheck

We extended the model checking implementation for Coalition Logic with Effectivity Frame Semantics.

Merge request reports