Publisher
Springer Nature Switzerland
Reference21 articles.
1. Almagor, S., Kupferman, O., Perelli, G.: Synthesis of controllable Nash equilibria in quantitative objective game. In: IJCAI, vol. 18, pp. 35–41 (2018)
2. Bacchus, F., Järvisalo, M., Martins, R.: Maximum satisfiability. In: Handbook of Satisfiability, pp. 929–991. IOS Press (2021)
3. Bulling, N., Goranko, V.: Combining quantitative and qualitative reasoning in concurrent multi-player games. AAMAS 36(1), 1–33 (2022)
4. Chang, F., Ren, J., Viswanathan, R.: Optimal resource allocation in clouds. In: 2010 IEEE 3rd International Conference on Cloud Computing, pp. 418–425. IEEE (2010)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);R De Masellis,2019