SAT-based Explicit LTL Reasoning
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property
  for Efficient LTL Synthesis
A Natural Actor-Critic Algorithm with Downside Risk Constraints Conformal Correlation functions in four dimensions from Quaternionic
  Lauricella system Gradient-Based Training and Pruning of Radial Basis Function Networks
  with an Application in Materials Physics The classification of symmetry protected topological phases of
  one-dimensional fermion systems Phase Diagram and Entanglement of two interacting topological Kitaev
  chains Tensor product weight modules over the Virasoro algebra Diffusion paths between product life-cycles in European phonographic
  markets On the Empirical Effect of Gaussian Noise in Under-sampled MRI
  Reconstruction Topological Simplifications of Hypergraphs Low-Rank Matrix Approximation in the Infinity Norm Stability Functions Learning Plannable Representations with Causal InfoGAN Embeddings-Based Clustering for Target Specific Stances: The Case of a
  Polarized Turkey A Sheaf-Theoretic Construction of Shape Space Multi-modality Associative Bridging through Memory: Speech Sound
  Recollected from Face Video Methodology for the use of proportional counters in pulsed fast neutron
  yield measurements
cs.LO