@. Biocham, Boolean semantics ? Powerful quantitative temporal logic language (FO-LTL) for specifying behaviors ? Sensitivity, robustness measure, parameter search w.r.t. FO-LTL specification Dynamic Days, stochastic (CTMC), Petri Net (PN), 2017.