Improving search order for reachability testing in timed automata
Propositional Dynamic Logic for Hyperproperties
Uniting Control for Finite Time Stabilization of Nonlinear Detectable
  Systems Optical black holes and solitons A Physical Perspective on Control Points and Polar Forms: B\'ezier
  Curves, Angular Momentum and Harmonic Oscillators A Multi Objective Reliable Location-Inventory Capacitated Disruption
  Facility Problem with Penalty Cost Solve with Efficient Meta Historic
  Algorithms Model-Free Algorithm and Regret Analysis for MDPs with Long-Term
  Constraints The Initial Calibration Date of the Antikythera Mechanism after the
  Saros spiral mechanical Apokatastasis Human-Usable Password Schemas: Beyond Information-Theoretic Security Tunable quantum logic gate on photonic qubits with a ladder emitter Digital Twin: From Concept to Practice Quantum Teleportation with One Classical Bit The two definitions of the index difference SECA: Snapshot-based Event Detection for Checking Asynchronous Context
  Consistency in Ubiquitous Computing Blowup for the C^1 Solutions of the Euler-Poisson Equations of Gaseous
  Stars in R^N A criterion for critical junctions in elastic-plastic adhesive wear Industry 4.0: Challenges and success factors for adopting digital
  technologies in airports Mona Lisa - ineffable smile of quantum mechanics Rapid Convergence of the Unadjusted Langevin Algorithm: Isoperimetry
  Suffices Invariant connections, Lie algebra actions, and foundations of numerical
  integration on manifolds Deep Learning-Based Dynamic Watermarking for Secure Signal
  Authentication in the Internet of Things Statistical mechanics of digital halftoning
cs.LO cs.FL