Value alignment: a formal approach
The Value of Inferring the Internal State of Traffic Participants for
  Autonomous Freeway Driving
Asymmetric superconductivity in metallic systems Using Trusted Data to Train Deep Networks on Labels Corrupted by Severe
  Noise Red-blue pebbling revisited: near optimal parallel matrix-matrix
  multiplication Image sequence interpolation using optimal control From Theory to Systems: A Grounded Approach to Programming Language
  Education Varying constants, Gravitation and Cosmology Dynamic compartmentalization of bacteria: accurate division in E. coli A Categorical Approach for Recognizing Emotional Effects of Music Subspace Graph Physics: Real-Time Rigid Body-Driven Granular Flow
  Simulation Universal patterns in sound amplitudes of songs and music genres Machine learning methods for postprocessing ensemble forecasts of wind
  gusts: A systematic comparison Four-dimensional Spinfoam Quantum Gravity with Cosmological Constant:
  Finiteness and Semiclassical Limit Pure Differential Modules and a Result of Macaulay on Unmixed Polynomial
  Ideals Formal Verification of a Geometry Algorithm: A Quest for Abstract Views
  and Symmetry in Coq Proofs Compressive Sensing with Cross-Validation and Stop-Sampling for Sparse
  Polynomial Chaos Expansions Semiclassical description of soliton-antisoliton pair production in
  particle collisions On the perturbed photogravitational restricted five-body problem: the
  analysis of fractal basins of convergence Visual art inspired by the collective feeding behavior of sand-bubbler
  crabs
cs.AI