1 problem

0 votes0 replies0 views
Finite or ultimately periodic model conjecture for HyperLTL
Finite or ultimately periodic model conjecture. Every satisfiable HyperLTL formula has a model that consists of a finite set of traces, or an $\omega$ -regular set of traces, or at…
Conjectureopenformal-logic hyperproperties temporal-logicarXiv posted 2 days ago

Finite or ultimately periodic model conjecture for HyperLTL