Kumar, N. S.; Singh, R. AS-Logic: Computing the Tipping Point in Asymptomatic Severe Aortic Stenosis. ST 2026, 3.