Model checking via Effectivity Frames
We extended the model checking implementation for Coalition Logic with Effectivity Frame Semantics.
► Server maintenance is scheduled on 14.10.24 from 07:00 to 09:00
We extended the model checking implementation for Coalition Logic with Effectivity Frame Semantics.