Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Target Discounted Sum Problem on Markov Chains with Applications to Markov Decision Processes
Nathalie Bertrand, Pranav Ghorpade, Senthil Rajasekaran +2
The discounted sum is a way to aggregate a sequence of weights from a finite alphabet , i.e., for a discount factor , the discounted sum of a sequence ov…
cs.LO2026
Parameterized Verification of Asynchronous Round-Based Distributed Algorithms via Reduction to Finite-Counter Systems
Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin
Traditional model-checking techniques typically verify distributed algorithms only for a fixed number of finite-state processes. Parameterized model checking generalizes this to an…
cs.LO2024
Reusable Formal Verification of DAG-based Consensus Protocols
Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin +2
Blockchains use consensus protocols to reach agreement, e.g., on the ordering of transactions. DAG-based consensus protocols are increasingly adopted by blockchain companies to red…