conftrace_

satisfiability modulo theory

8 papers

Explore in graph

Also known as

SMT

Co-occurring keywords

satisfiability modulo theories (22) temporal planning (27) weighted model counting (20) description logic (107) task and motion planning (28) control barrier certificate (4) kolmogorov-arnold network (31) neural network controller (20) music analysis (3) structural distance (1)

Papers

Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation AAAI 2025
Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates IJCAI 2025
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection IJCNLP 2025
Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora IJCAI 2025
SMT Safety Verification of Ontology-Based Processes AAAI 2023
Robustness Envelopes for Temporal Plans AAAI 2019
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory AAAI 2019
Weighted Model Integration with Orthogonal Transformations IJCAI 2017