The following pages link to Ivan Papusha (Q3303925):
Displayed 4 items.
- Sequential Convex Programming for the Efficient Verification of Parametric MDPs (Q3303926) (← links)
- Sampling-based Approximate Optimal Control Under Temporal Logic Constraints (Q5275336) (← links)
- Domain Decomposition for Stochastic Optimal Control (Q6254842) (← links)
- Affine Multiplexing Networks: System Analysis, Learning, and Computation (Q6301009) (← links)