1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
Model Checking Linear Dynamical Systems under Floating-point Rounding
Engel Lefaucheux, Joël Ouaknine, David Purser +1
We consider linear dynamical systems under floating-point rounding. In these systems, a matrix is repeatedly applied to a vector, but the numbers are rounded into floating-point re…
cs.DS2021
Physarum Inspired Dynamics to Solve Semi-Definite Programs
Yuan Gao, Hamidreza Kamkari, Andreas Karrenbauer +2
Physarum Polycephalum is a slime mold that can solve shortest path problems. A mathematical model based on Physarum's behavior, known as the Physarum Directed Dynamics, can solve p…