48 citations · 48 across the 2 of their papers we have counts for
2 papers
cs.LO2023
Deductive Controller Synthesis for Probabilistic Hyperproperties
Roman Andriushchenko, Ezio Bartocci, Milan Ceska +2
Probabilistic hyperproperties specify quantitative relations between the probabilities of reaching different target sets of states from different initial sets of states. This class…
q-bio.BM2006★ 48 cited
Anharmonicity and self-similarity of the free energy landscape of protein G
F. Pontiggia, G. Colombo, C. Micheletti +1
The near-native free energy landscape of protein G is investigated through 0.4 microseconds-long atomistic molecular dynamics simulations in explicit solvent. A theoretical and com…