Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology.

Venkatesh Mysore, Carla Piazza, Bud Mishra

Browse the full ATVA paper archive.