Skip to content

RLTL model checking support - #20

Draft
Immad (imnaseer) wants to merge 6 commits into
mainfrom
personal/imnaseer/rltl-port
Draft

RLTL model checking support#20
Immad (imnaseer) wants to merge 6 commits into
mainfrom
personal/imnaseer/rltl-port

Add propositions over transitions (s, a, s') to LTL/RLTL checking

158273e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar