Weighted programming: a programming paradigm for specifying mathematical models

Kevin Batz(RWTH Aachen University), Tobias Winkler(RWTH Aachen University)
Proceedings of the ACM on Programming Languages
April 29, 2022
Cited by 17


Related Papers

Stochastic Games with Disjunctions of Multiple Objectives
|Electronic Proceedings in Theoretical Computer Science|2021|2