STL: Still Tricky Logic (for System Validation, Even When Showing Your Work).
Isabelle HurleyRohan PalejaAshley SuhJaime Daniel PeñaHo Chit SiuPublished in: CoRR (2024)
Keyphrases
- classical logic
- logic programming
- modal logic
- delay insensitive
- digital circuits
- decision trees
- automated reasoning
- computational properties
- nonmonotonic logics
- database systems
- relational databases
- learning algorithm
- expressive power
- information retrieval
- multi valued
- machine learning
- formal theory
- asynchronous circuits
- data mining