|
|
Stochastic Models:
Scalable Model Checking. |
|
|
| On going work |
| T4 |
PDF |
Nathalie
Bertrand,
Miheer Dewaskar,
Blaise Genest,
Hugo Gimbert,
Adwait Godbole.
Controlling a Population.
|
2019 |
| T2+T3 |
PDF |
Matthieu Pichené,
Sucheendra Palaniappan,
Eric Fabre, Blaise Genest.
In TCBB, IEEE/ACM.
|
2018 |
| T4 |
PDF |
S. Akshay,
Blaise Genest,
Nikhil Vyas.
Distribution-based objectives for Markov Decision Processes.
LICS 2018,
36-45, ACM/IEEE.
|
| T4 |
PDF |
Paulin Fournier.
Hugo Gimbert.
Alternating Nonzero Automata.
CONCUR 2018,
13:1-13:16, LIPIcs.
|
Paulin Fournier, Hugo Gimbert:
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,
p.324-326, LNBI 10545.
|
| 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.
JACM64(5), 33:1-33:48 . |
| 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 |
Matthieu Pichené.
Multi-Level Analysis in Computational System Biology.
Thèse (111 pages), Rennes 1 - IRISA, 2018. |
| PhD |
PDF |
Bruno Karelovic.
Quantitative Analysis of Stochastic Systems - Priority Games and Populations of Markov Chains.
Thèse (123 pages), Paris 7 - IRIF, 2017. |
| HdR |
PDF |
Gregory Batt.
Design, Optimization and Control in Systems and Synthetic Biology.
Habilitation à Diriger la Recherche (94 pages), Paris 7 - INRIA Rocquencourt, 2014. |
Thanks to the DBLP
Page |