| 2022 | AAAI | 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 |
| 2020 | CAV | PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. | Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani |
| 2019 | CAV | Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. | Eric S. Kim, Murat Arcak, Sanjit A. Seshia |
| 2019 | TACAS | Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach. | Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani |
| 2007 | ACC | Structure and Passivity in Large-Scale Network Analysis and Design. | Murat Arcak |
| 2007 | ACC | Group Coordination when the Reference Velocity is Available Only to the Leader: An Adaptive Design. | He Bai, Murat Arcak, John T. Wen |
| 2007 | ACC | A Two-Time-Scale Redesign for Robust Stabilization and Performance Recovery of Uncertain Nonlinear Systems. | Aranya Chakrabortty, Murat Arcak |
| 2007 | ACC | Remarks on the stability of spatially distributed systems with a cyclic interconnection structure. | Mihailo R. Jovanovic, Murat Arcak, Eduardo D. Sontag |
| 2007 | ACC | Robust Control for Linear Stages in Electronic Manufacturing. | Rafael Quintanilla, John T. Wen, Murat Arcak, Joe Frankel, Mark Peeples, Mark Unrath |
| 2005 | WiOpt | Power Control for Multicell CDMA Wireless Networks: A Team Optimization Approach. | Tansu Alpcan, Xingzhe Fan, Tamer Basar, Murat Arcak, John T. Wen |
| 2003 | INFOCOM | A Unifying Passivity Framework for Network Flow Control. | John T. Wen, Murat Arcak |