Supermartingale Certificates for Parametric MDPs
研究通过参数平滑转换和引入参数超鞅证书，解决了参数化马尔可夫决策过程中的验证与合成问题。
0 citationsRead paper
Selected work
Representative Papers
Oracle Complexity of Stochastic Fixed-Point Equations with Nonexpansive Maps
研究通过递归锚定技术解决非扩张映射下随机不动点方程的Oracle复杂性问题，提供了一种在任意弱Rademacher类型q>1的空间中高效求解算法。
0 citationsRead paper
From Bracha to Coded MBRB: Benchmarking Byzantine Reliable Broadcast Implementations
该论文通过实现和评估三种拜占庭可靠广播算法，揭示了在不同负载下的性能瓶颈和操作权衡，使用了Go代码库、多种测试环境和故障注入等方法。
0 citationsRead paper
How Bitcoin Forms Its Network: Peer-Table Sampling and Structural Properties
本文通过分析比特币和狗狗币P2P网络节点的数据，研究了节点间对等表的分布与网络规模的变化，并利用模拟方法探讨了这些规则如何影响网络结构。
0 citationsRead paper
Rent-a-RAG: Embedding-Space Watermarks for Auditing Third-Party RAG
为解决第三方RAG市场中未经授权使用文档的问题，提出DirBucket方法，通过语义水印和黑盒审计框架检测文档重用情况。
0 citationsRead paper
Recent publications
Latest Papers
Supermartingale Certificates for Parametric MDPs
研究通过参数平滑转换和引入参数超鞅证书，解决了参数化马尔可夫决策过程中的验证与合成问题。
0 citationsRead paper
Oracle Complexity of Stochastic Fixed-Point Equations with Nonexpansive Maps
研究通过递归锚定技术解决非扩张映射下随机不动点方程的Oracle复杂性问题，提供了一种在任意弱Rademacher类型q>1的空间中高效求解算法。
0 citationsRead paper
From Bracha to Coded MBRB: Benchmarking Byzantine Reliable Broadcast Implementations
该论文通过实现和评估三种拜占庭可靠广播算法，揭示了在不同负载下的性能瓶颈和操作权衡，使用了Go代码库、多种测试环境和故障注入等方法。
0 citationsRead paper
How Bitcoin Forms Its Network: Peer-Table Sampling and Structural Properties
本文通过分析比特币和狗狗币P2P网络节点的数据，研究了节点间对等表的分布与网络规模的变化，并利用模拟方法探讨了这些规则如何影响网络结构。
0 citationsRead paper
Rent-a-RAG: Embedding-Space Watermarks for Auditing Third-Party RAG
为解决第三方RAG市场中未经授权使用文档的问题，提出DirBucket方法，通过语义水印和黑盒审计框架检测文档重用情况。
0 citationsRead paper