Section: Overall Objectives

Highlight: STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification

Extrinsic apoptosis is a programmed cell death triggered by external ligands, such as TRAIL. Depending on the cell line, the specific molecular mechanisms leading to cell death may significantly differ. These differences are attributed to the activation of one of two pathways, leading to classification of cell lines into two groups: type I and type II. In [6] we challenge this type I/type II cell line classification using signal temporal logic (STL), and reconciliate two apparently-conflicting views regarding the importance of either upstream or downstream processes for cell-type determination.