85 citations · 279 across the 25 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.DS2013
Scalable Verification of Markov Decision Processes
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Markov decision processes (MDP) are useful to model concurrent process optimisation problems, but verifying them with numerical methods is often intractable. Existing approximative…
q-bio.TO2013★ 21 cited
Cooperation and competition in the dynamics of tissue architecture during homeostasis and tumorigenesis
Attila Csikász-Nagy, Luis M. Escudero, Martial Guillaud +3
The construction of a network of cell-to-cell contacts makes it possible to characterize the patterns and spatial organisation of tissues. Such networks are highly dynamic, dependi…