What is Decidable about Partially Observable Markov Decision Processes
  with {\omega}-Regular Objectives
SyGuS Techniques in the Core of an SMT Solver
In-Pocket 3D Graphs Enhance Ligand-Target Compatibility in Generative
  Small-Molecule Creation Higher-form and (non-)St\"uckelberg symmetries in non-equilibrium
  systems Effect of Position-dependent Mass on Dynamical Breaking of Type B and
  Type X_2 N-fold Supersymmetry A Network Model characterized by a Latent Attribute Structure with
  Competition lattice-symmetries: A package for working with quantum many-body bases General solutions of the Monge-Amp\`{e}re equation in $n$-dimensional
  space Faster p-norm minimizing flows, via smoothed q-norm problems Fuchs' problem for dihedral groups Modeling the propagation of riots, collective behaviors, and epidemics Linear stability analysis of the homogeneous Couette flow in a 2D
  isentropic compressible fluid Structural Beauty: A Structure-based Approach to Quantifying the Beauty
  of an Image Geometric quantization of localized surface plasmons Entanglement isn't just for spin Scattering Amplitudes for Multi-indexed Extensions of Solvable
  Potentials A fuzzy take on the logical issues of statistical hypothesis testing Fourier multipliers in Hilbert spaces Hybridisable discontinuous Galerkin formulation of compressible flows Holography in the EPRL Model Direct numerical experiment on measuring of dispersion relation for
  gravity waves in the presence of condensate
cs.LO