Weighted programming: a programming paradigm for specifying mathematical modelsKevin Batz, Tobias Winkler|Proceedings of the ACM on Programming Languages|2022Cited by 17
Stochastic Games with Disjunctions of Multiple ObjectivesTobias Winkler, Maximilian Weininger|Electronic Proceedings in Theoretical Computer Science|2021Cited by 2