Grégory Batt

Available identifiers

Publication	Date of Publication	Type
A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways	2019-12-04	Paper
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty	2017-07-27	Paper
Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis}	2016-03-08	Paper
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions	2014-03-19	Paper
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures	2011-06-28	Paper
Model Checking Genetic Regulatory Networks with Parameter Uncertainty	2009-03-11	Paper
On Timed Models of Gene Networks	2008-07-03	Paper
Approximating Continuous Systems by Timed Automata	2008-06-17	Paper
Model Checking Software	2007-09-28	Paper
Model Checking Liveness Properties of Genetic Regulatory Networks	2007-09-03	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper

This page was built for person: Grégory Batt