Linear Program-Based Stability Conditions for Nonlinear Autonomous Systems. - Sadredin Hokmi; Mohammad Khajenejad (CoRR, 2025)