Ivan Papusha

Identifiers

No identifiers captured yet.

Papers (3)

1. Affine Multiplexing Networks: System Analysis, Learning, and Computation math.OC · 2018 · author #1
2. Sequential Convex Programming for the Efficient Verification of Parametric MDPs cs.LO · 2017 · author #5
3. Domain Decomposition for Stochastic Optimal Control math.OC · 2014 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Ufuk Topcu 2 shared papers
• Hasan A. Poonawala 1 shared papers
• Joel W. Burdick 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Matanya B. Horowitz 1 shared papers
• Murat Cubuktepe 1 shared papers
• Niklas Lauffer 1 shared papers
• Nils Jansen 1 shared papers
• Sebastian Junges 1 shared papers
• Steven Carr 1 shared papers