Simon Stupinský

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Functional Programs

Inductive Learning

Top Venues

Publications

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. CAV (1) (2021)