W3109856706

• Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families

  2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  0

  citations
• Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate

  2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

  3

  citations
• Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  2

  citations
• Gradient-Descent for Randomized Controllers Under Partial Observability

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  13

  citations
• Fine-Tuning the Odds in Bayesian Networks

  2021 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

  10

  citations

5 results