9 papers
Replacers and their evolutionary stability in the Moran process on graphs
Michal Pecho, Jakub Svoboda, Lenka Kopfová +2
Evolutionary dynamics in finite structured populations are commonly modeled by the Moran Birth-death process. A key quantity is the fixation probability of a single invader attempt…
Reinforcement Learning for Reachability: Guaranteeing Asymptotic Optimality
Amogh Palasamudram, Jakub Svoboda, Suguman Bansal +1
Reinforcement learning (RL) for reachability specifications is fundamental in sequential decision-making, yet theoretical guarantees remain less explored. A recent work achieves as…
Genotype specificity and spatial arrangement govern the direction and magnitude of selection in variable environments
Hossein Nemati, Kamran Kaveh, Jakub Svoboda +2
Spatial environmental variation can either amplify or suppress the fixation of beneficial mutants in structured populations, yet the interplay of ecological factors and spatial str…
Maintaining diversity in structured populations
David A. Brewster, Jakub Svoboda, Dylan Roscow +3
We examine population structures for their ability to maintain diversity in neutral evolution. We use the general framework of evolutionary graph theory and consider birth-death (b…
Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection
Krishnendu Chatterjee, Jan Matyáš KÅiÅ¡Å¥an, Stefan Schmid +2
Payment channel networks (PCNs) are a promising technology that alleviates blockchain scalability by shifting the transaction load from the blockchain to the PCN. Nevertheless, the…
Value Iteration with Guessing for Markov Chains and Markov Decision Processes
Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona +1
Two standard models for probabilistic systems are Markov chains (MCs) and Markov decision processes (MDPs). Classic objectives for such probabilistic models for control and plannin…