• M. Cubuktepe, F. Blahoudek, and U. Topcu. Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning. In International Conference on Computer Aided Verification, Submitted. Springer, 2021.

  • M. Cubuktepe, N. Jansen, S. Junges, J. P. Katoen, and U. Topcu. Convex Optimization for Parameter Synthesis in MDPs. In IEEE Transactions on Automatic Control, Submitted. IEEE, 2020.