138 citations · 597 across the 30 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cond-mat.soft2015★ 40 cited
Modelling DNA Origami Self-Assembly at the Domain Level
Frits Dannenberg, Katherine E. Dunn, Jonathan Bath +3
We present a modelling framework, and basic model parameterization, for the study of DNA origami folding at the level of DNA domains. Our approach is explicitly kinetic and does no…
cs.LO2015★ 31 cited
Permissive Controller Synthesis for Probabilistic Systems
Klaus Drager, Vojtech Forejt, Marta Kwiatkowska +2
We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its en…