conftrace_

hybrid domain

6 papers

Explore in graph

Co-occurring keywords

probabilistic inference (312) weighted model integration (15) smt solving (22) exact inference (64) neural potential (1) nonlinear optimization (28) predicate abstraction (3) hybrid planning (6) weighted model counting (20) logical constraint (35)

Papers

Relational Neural Markov Random Fields AISTATS 2022
SMT-based weighted model integration with structure awareness UAI 2022
Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations NIPS 2020
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction IJCAI 2017
Probabilistic Inference in Hybrid Domains IJCAI 2017
Scalable Planning with Tensorflow for Hybrid Nonlinear Domains NIPS 2017