Login / Signup

The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas.

Corto MascleMartin Zimmermann
Published in: CSL (2020)
Keyphrases
  • probabilistic model
  • satisfiability problem
  • neural network
  • statistical models
  • database
  • propositional formulas