Quantitative Verification Group

  • News
  • Benjamin Kaminski
  • Members
  • Teaching
    • Seminar SS 2022
    • Seminar WS 22/23
    • Seminar SS 2023
  • Selected JACM Article from 2022

    Our paper Generative Datalog with Continuous Distributions (joint work with Martin Grohe, Joost-Pieter Katoen, and Peter Lindner) was featured as one of eight selected articles published in 2022 in the Journal of the ACM. It describes a new way to give semantics to Datalog, a declarative probabilistic programming language used in the context of probabilistic […]

    March 6, 2023
  • Hello world!

    This site is under construction. Check back soon for more information.

    February 15, 2022

Proud supporter of The Weissbord Institute