Skip to content

Model checking via Effectivity Frames

Simon Pruckerrequested to merge
effectFrames into modcheck

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

Merge request reports