Arcak, Murat

6 publications

L4DC 2025 Learning Biomolecular Models Using Signal Temporal Logic Hanna Krasowski, Eric Palanques-Tost, Calin Belta, Murat Arcak

L4DC 2024 Nonconvex Scenario Optimization for Data-Driven Reachability Elizabeth Dietrich, Alex Devonport, Murat Arcak

L4DC 2023 Frequency Domain Gaussian Process Models for $h^∞$ Uncertainties Alex Devonport, Peter Seiler, Murat Arcak

L4DC 2023 Probabilistic Invariance for Gaussian Process State Space Models Paul Griffioen, Alex Devonport, Murat Arcak

AAAI 2022 Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems Fangda Gu, He Yin, Laurent El Ghaoui, Murat Arcak, Peter J. Seiler, Ming Jin

L4DC 2020 Estimating Reachable Sets with Scenario Optimization Alex Devonport, Murat Arcak