2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Lena Verscht, Hannah Mertens, Kevin Batz +3
Probabilistic programs with nondeterminism model planning problems in which a strategy typically resolves the nondeterminism to meet a specification. We study the multiobjective se…