Grégory Batt

Latest

• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
• A general computational method for robustness analysis with applications to synthetic gene networks
• On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology