Skip to content
Log in
Sponsored Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt

Author

Kevin Batz

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Aug 2026

Type-Directed Discretization of Probabilistic Programs

The empirical evaluation shows two complementary strengths of Slice when paired with discrete backends: it enables exact inference for challenging continuous programs that lie beyond the reach of previous exact systems, and is competitive with state-of-the-art exact inference systems for continuous programs.

Katherine Wu, Jules Jacobs, Kevin Batz et al. · 0 citations
Preprint Aug 2026

Multiobjective Preexpectation Reasoning for Probabilistic Programs

The transformer and synthesis rules sound against an operational MDP semantics, without requiring a finite state space: this approach can be seen as a symbolic approach - at program level - for multiobjective optimization over infinite MDPs.

Lena Verscht, Hannah Mertens, Kevin Batz et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.