Weighted Automata and Monadic Second Order Logic
Fast detection of cycles in timed automata
A large-N approximated field theory for multipartite entanglement Remarks on input-to-state stability of collocated systems with saturated
  feedback Towards Design and Implementation of a Language Technology based
  Information Processor for PDM Systems On Bond Portfolio Management Switching and Data Injection Attacks on Stochastic Cyber-Physical
  Systems: Modeling, Resilient Estimation and Attack Mitigation Evolutionary Rotation in Switching Incentive Zero-Sum Games Teaching Newton with anticipation(...) On the stability of spinning asteroids Two boundary model for freezing front propagation in biological tissue Machine Learning for the Geosciences: Challenges and Opportunities Purity in categories of sheaves Universal behavior of extreme value statistics for selected observables
  of dynamical systems Graph Neural Networks for 3D Multi-Object Tracking Deconstructing the Inductive Biases of Hamiltonian Neural Networks Fault Diagnosis Method Based on Scaling Law for On-line Refrigerant Leak
  Detection Multimodal MRI Neuroimaging with Motion Compensation Based on Particle
  Filtering Determination of spatial configuration of an underwater swarm with
  minimum data Sequence Prediction based on Monotone Complexity Random Differential Privacy
cs.LO cs.FL