Skip to content

Changing the semantics of LTLf to match most papers - #1

Merged
nathanael-fijalkow merged 1 commit into
mainfrom
ltlf-nonempty-semantics
Jun 19, 2026
Merged

Changing the semantics of LTLf to match most papers#1
nathanael-fijalkow merged 1 commit into
mainfrom
ltlf-nonempty-semantics

changing the semantics

65d34b0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jun 17, 2026 in 18s