Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Gallus, Adrian"'
Autor:
Batz, Kevin, Gallus, Adrian, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Winkler, Tobias
We study weighted programming, a programming paradigm for specifying mathematical models. More specifically, the weighted programs we investigate are like usual imperative programs with two additional features: (1) nondeterministic branching and (2)
Externí odkaz:
http://arxiv.org/abs/2202.07577
