Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification.
Pascal BergsträßerMoses GanardiAnthony W. LinGeorg ZetzschePublished in: LICS (2022)
Keyphrases
- bayesian networks
- semi automatic
- model checking
- probabilistic model
- fully automatic
- computational complexity
- data sets
- structural analysis
- decision making
- artificial neural networks
- computational cost
- signature verification
- complex structures
- decision problems
- natural language
- image sequences
- decision trees
- learning algorithm
- information retrieval