Login / Signup
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas.
Corto Mascle
Martin Zimmermann
Published in:
CoRR (2019)
Keyphrases
</>
probabilistic model
search algorithm
prior knowledge
np hard
small number
model selection