Predictive models are traditionally optimized independently of their use in downstream
decision-based optimization. The 'smart, predict then optimize'(SPO) framework addresses …

Markov decision processes are a ubiquitous formalism for modelling systems with non-
deterministic and probabilistic behavior. Verification of these models is subject to the famous …

概率规划问题描述的是一个马尔科夫决策过程, 其中的动作具有并行性和不确定性,
从而导致概率规划问题的状态空间产生组合爆炸. 过大的状态空间会降低规划器的效率 …

A disjointly constrained bilinear program (DBLP) has various practical and industrial
applications, eg, in game theory, facility location, supply chain management, and multi-agent …