logo              Stochastic Models:
Scalable Model Checking.
                          ANR
Home Members Meetings Tasks Publications Bibliography


On going work
T2+T3 PDF Matthieu Pichené, Sucheendra Palaniappan, Eric Fabre, Blaise Genest. Non-Disjoint Clustered Representation for Distributions over a Population of Cells.
2017
T2+T3 PDF Matthieu Pichené, Sucheendra Palaniappan, Eric Fabre, Blaise Genest. Non-Disjoint Clustered Representation for Distributions over a Population of Cells. Poster at CMSB 2017.
T4+T5 PDF Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert. Controlling a Population. CONCUR 2017, 8:1-16, LiPIcs.
T4 PDF Nathanael Fijalkow, Hugo Gimbert, Edon Kelmandi, Denis Kuperberg: Stamina: Stabilisation Monoids in Automata Theory. CIAA 2017: 101-112, LNCS 10329.
T4 PDF Nathalie Bertrand, Blaise Genest, Hugo Gimbert. Qualitative Determinacy and Decidability of Stochastic Games with Signals. JACM, in press.
T5+T2 PDF Sucheendra Palaniappan, François Bertaux, Matthieu Pichené, Eric Fabre, Gregory Batt, Blaise Genest. Discrete Stochastic Abstraction of Biological Pathway Dynamics: A case study of the Apoptosis Pathway. In Bioinformatics 33 (13): 1980–1986, Oxford University Press.
2016
T5+T2 PDF Matthieu Pichené, Sucheendra Palaniappan, Gregory Batt, Eric Fabre, Blaise Genest. Efficient Analysis of Multi-level Biological Systems Using Abstraction. Poster at HSB'16.
T2+T5 PDF Sucheendra Palaniappan, Matthieu Pichené, Gregory Batt, Eric Fabre, Blaise Genest. A Look-ahead Simulation Algorithm for DBN Models of Biochemical Pathways. HSB'16, 3-19, LNBI 9957.
T4 PDF Hugo Gimbert, Ludovic Hofer. Online Reinforcement Learning for Real-Time Exploration in Continuous State and Action Markov Decision Processes. PLANROB'16, ICAPS Workshop.
T2+T4 PDF S. Akshay, Blaise Genest, Bruno Karelovic, Nikhil Vyas. On Regularity of unary Probabilistic Automata. STACS 2016, LIPIcs, 8:1-8:14.
2015
T2+T5 PDF Sucheendra Palaniappan, François Bertaux, Matthieu Pichené, Eric Fabre, Gregory Batt, Blaise Genest. Approximating the dynamics of the Hybrid Stochastic-Deterministic Apoptosis pathway. Poster at CMSB 2015.
T4 PDF Bruno Karelovic Wieslaw Zielonka . Nearest fixed points and concurrent priority games. FCT 2015. LNCS 9210
T5+T4 PDF Jannis Uhlendorf, Agnès Miermont, Thierry Delaveau, Gilles Charvin, François Fages, Samuel Bottani, Pascal Hersen, Gregory Batt. In silico control of biomolecular processes. Chapter in Computational Methods in Synthetic Biology, M. Marchisio (Ed.), Humana Press, Springer.
T4 PDF Nathanael Fijalkow, Hugo Gimbert, Edon Kelmandi, Youssouf Oualhadj. Deciding the value 1 problem for probabilistic leaktight automata. LMCS 2015 11(2), paper 12.
T4 PDF François Dufour Tomás Prieto-Rumeau. Approximation of average cost Markov decision processes using empirical distributions and concentration inequalities STOCHASTICS.
T2+T4 PDF Manindra Agrawal, S. Akshay, Blaise Genest, P.S. Thiagarajan. Approximate Verification of the Symbolic Dynamics of Markov Chains. JACM 62(1): 34-65.
2014
T4 PDF Nathanael Fijalkow, Hugo Gimbert, Florian Horn , Youssouf Oualhadj. Two Recursively Inseparable Problems for Probabilistic Automata. MFCS 2014, (1), 267-278.
T5+T4 PDF L. Maruthi, I. Tkachev, A. Carta, E. Cinquemani, P. Hersen, G. Batt. , A. Abate. Towards real-time control of gene expression at the single cell level: a stochastic control approach CMSB 2014, LNCS/LNBI, Springer, 155-172.
T5+T2 PDF François Bertaux , Szymon Stoma, Dirk Drasdo, Gregory Batt. Modeling dynamics of cell-to-cell variability in TRAIL-induced apoptosis explains fractional killing and predicts reversible resistance. PLoS Computational Biology, 10(10):e1003893.
Related
PhD PDF Bruno Karelovic. Quantitative Analysis of Stochastic Systems - Priority Games and Populations of Markov Chains. Thèse (123 pages), Paris 7 - IRIF.
HdR PDF Gregory Batt. Design, Optimization and Control in Systems and Synthetic Biology. Habilitation à Diriger la Recherche (94 pages), Paris 7 - INRIA Rocquencourt.

Thanks to the DBLP Page