Skip to content
GitLab
Explore
Sign in
Model checking via Effectivity Frames
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Menüleiste ausklappen
Simon Prucker
requested to merge
effectFrames
into
modcheck
Feb 24, 2023
Overview
27
Commits
126
Pipelines
32
Changes
88
We extended the model checking implementation for Coalition Logic with Effectivity Frame Semantics.
Merge request reports
Loading