2 citations · 3 across the 3 of their papers we have counts for
5 papers
Automating reward function configuration for drug design
Marius Urbonas, Temitope Ajileye, Paul Gainer +1
Designing reward functions that guide generative molecular design (GMD) algorithms to desirable areas of chemical space is of critical importance in AI-driven drug discovery. Tradi…
Multi-Scale Verification of Distributed Synchronisation
Paul Gainer, Sven Linker, Clare Dixon +2
Algorithms for the synchronisation of clocks across networks are both common and important within distributed systems. We here address not only the formal modelling of these algori…
Accelerated Model Checking of Parametric Markov Chains
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
Parametric Markov chains occur quite naturally in various applications: they can be used for a conservative analysis of probabilistic systems (no matter how the parameter is chosen…
Incremental Verification of Parametric and Reconfigurable Markov Chains
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
The analysis of parametrised systems is a growing field in verification, but the analysis of parametrised probabilistic systems is still in its infancy. This is partly because it i…
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
Paul Gainer, Sven Linker, Clare Dixon +2
We assess the power consumption of network synchronisation protocols, particularly the energy required to synchronise all nodes across a network. We use the widely adopted approach…