Hybrid Automata for Formal Modeling and Verification of Cyber-Physical
  Systems
Abstraction for Epistemic Model Checking of Dining Cryptographers-based
  Protocols
Do Androids Dream of Electric Fences? Safety-Aware Reinforcement
  Learning with Latent Shielding Signals of HE atmospheric muon decay in flight around the Sun's albedo
  versus astrophysical muon and tau neutrino traces in the Moon's shadow The peculiar statistical mechanics of Optimal Learning Machines On some properties of LS algebras Singular Support of Minimizers of the Causal Variational Principle on
  the Sphere Statistical Theory of Magnetohydrodynamic Turbulence: Recent Results A Lattice Boltzmann Relaxation Scheme for Inviscid Compressible Flows Boundary Value Problems on Manifolds with Fibered Boundary Universal time-series forecasting with mixture predictors Electrodynamical model of quasi-efficient financial market Tree trace reconstruction using subtraces The DESC Stellarator Code Suite Part III: Quasi-symmetry optimization Urban MV and LV Distribution Grid Topology Estimation via Group Lasso Quantum Terrorism: Collective Vulnerability of Global Quantum Systems Policy Design for Active Sequential Hypothesis Testing using Deep
  Learning EasyASR: A Distributed Machine Learning Platform for End-to-end
  Automatic Speech Recognition Structural Vulnerability Assessment of Electric Power Grids Investigating Correlations of Inter-coder Agreement and Machine
  Annotation Performance for Historical Video Data Generators, projectors, and the Jones-Wenzl algebra A finite variant of the Toom Model Dynamical Friction, Buoyancy and Core-Stalling -- I. A Non-perturbative
  Orbit-based Analysis A Novel Assistive Controller Based on Differential Geometry for Users of
  the Differential-Drive Wheeled Mobile Robots Assessing the Impact: Does an Improvement to a Revenue Management System
  Lead to an Improved Revenue?
cs.LO cs.FL