conftrace_

parameter synthesis

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

spatio-temporal specification (1) threshold quantification (1) pspace complexity (1) stochastic boolean satisfiability (1) signal temporal logic (1) formal logic (1) support vector machine (1) optimization under uncertainty (1)

Papers

Unifying Decision and Function Queries in Stochastic Boolean Satisfiability AAAI 2024 Learning Spatio-Temporal Specifications for Dynamical Systems L4DC 2022