Probability with martingales

• Lower Bounds for Possibly Divergent Probabilistic Programs

  2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  14

  citations
• Distributed Mean-Square Consensus for Microgrid Networks with Switching Topology

  2021 Chinese Control Conference (CCC) conference-paper Engineering Microgrid Control and Optimization

  0

  citations
• A pre-expectation calculus for probabilistic sensitivity

  2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  24

  citations
• Distributed Noise-Resilient Control for DC Microgrids Under Dynamic Communication Topology

  2021 Power systems book-chapter Engineering Microgrid Control and Optimization

  1

  citations
• Foundations of probabilistic programming

  2021 RWTH Publications (RWTH Aachen) book Computer Science Logic, programming, and type systems Open access

  0

  citations
• Bilevel Information-Aware Distributed Resilient Control for Heterogeneous Microgrid Clusters

  2020 Conference record conference-paper Engineering Microgrid Control and Optimization

  2

  citations

6 results