Ivan Papusha

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Sequential convex programming for the efficient verification of parametric MDPs
Tools and Algorithms for the Construction and Analysis of Systems
2020-08-05Paper
Affine Multiplexing Networks: System Analysis, Learning, and Computation2018-04-30Paper
Sampling-based approximate optimal control under temporal logic constraints
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control
2017-07-11Paper
Domain Decomposition for Stochastic Optimal Control2014-09-21Paper


Research outcomes over time


This page was built for person: Ivan Papusha