Physarum Inspired Dynamics to Solve Semi-Definite Programs. - Hamidreza Kamkari; Andreas Karrenbauer; Mohammadamin Sharifi (CoRR, 2021)

Model Checking Linear Dynamical Systems under Floating-point Rounding. - Engel Lefaucheux; Joël Ouaknine; David Purser; Mohammadamin Sharifi (TACAS (1), 2023)