Tropical Abstraction of Biochemical Reaction Networks with Guarantees

Joint work with Andreea Beica and Jerome Feret, on tropical abstractions of biochemical reaction networks, will be presented at the 9th Workshop on Static Analysis in Systems Biology, to be held in Freiburg, 28th August 2018. The poster will be presented at CMSB in Brno.