Smooth Convex Optimization Using Sub-Zeroth-Order Oracles. - Mustafa O. Karabag; Cyrus Neary; Ufuk Topcu (AAAI, 2021)

Reward Machines for Cooperative Multi-Agent Reinforcement Learning. - Cyrus Neary; Zhe Xu 005; Bo Wu 005; Ufuk Topcu (AAMAS, 2021)

Verifiable and Compositional Reinforcement Learning Systems. - Cyrus Neary; Christos K. Verginis; Murat Cubuktepe; Ufuk Topcu (ICAPS, 2022)

Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss. - Mustafa O. Karabag; Cyrus Neary; Ufuk Topcu (AAMAS, 2022)

Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. - Franck Djeumou; Cyrus Neary; Eric Goubault; Sylvie Putot; Ufuk Topcu (IJCAI, 2022)

Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. - Franck Djeumou; Cyrus Neary; Eric Goubault; Sylvie Putot; Ufuk Topcu (L4DC, 2022)

Automatic Decomposition of Reward Machines for Decentralized Multiagent Reinforcement Learning. - Sophia Smith; Cyrus Neary; Ufuk Topcu (CDC, 2023)

How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations. - Franck Djeumou; Cyrus Neary; Ufuk Topcu (CoRL, 2023)

Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks. - Cyrus Neary; Ufuk Topcu (L4DC, 2023)

Differential Privacy in Cooperative Multiagent Planning. - Bo Chen; Calvin Hawkins; Mustafa O. Karabag; Cyrus Neary; Matthew T. Hale; Ufuk Topcu (UAI, 2023)

Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception. - Yunhao Yang; Cyrus Neary; Ufuk Topcu (CoRR, 2023)

Verifiable Reinforcement Learning Systems via Compositionality. - Cyrus Neary; Aryaman Singh Samyal; Christos K. Verginis; Murat Cubuktepe; Ufuk Topcu (CoRR, 2023)

Formal Methods for Autonomous Systems. - Tichakorn Wongpiromsarn; Mahsa Ghasemi; Murat Cubuktepe; Georgios Bakirtzis; Steven Carr 002; Mustafa O. Karabag; Cyrus Neary; Parham Gohari; Ufuk Topcu (Found. Trends Syst. Control., 2023)

Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control. - Adam J. Thorpe; Cyrus Neary; Franck Djeumou; Meeko M. K. Oishi; Ufuk Topcu (ACC, 2024)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception. - Yunhao Yang; Cyrus Neary; Ufuk Topcu (AAMAS, 2024)

A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning. - Cyrus Neary; Christian Ellis; Aryaman Singh Samyal; Craig Lennon; Ufuk Topcu (ICRA, 2024)

Neural Port-Hamiltonian Differential Algebraic Equations for Compositional Learning of Electrical Networks. - Cyrus Neary; Nathan Tsao; Ufuk Topcu (CoRR, 2024)

Automaton-Based Representations of Task Knowledge from Generative Language Models. - Yunhao Yang; Cyrus Neary; Ufuk Topcu (NeuS, 2025)

Multi-Fidelity Policy Gradient Algorithms. - Xinjie Liu; Cyrus Neary; Kushagra Gupta; Christian Ellis; Ufuk Topcu; David Fridovich-Keil (CoRR, 2025)

RoboArena: Distributed Real-World Evaluation of Generalist Robot Policies. - Pranav Atreya; Karl Pertsch; Tony Lee; Moo Jin Kim; Arhan Jain; Artur Kuramshin; Clemens Eppner; Cyrus Neary; Edward S. Hu; Fabio Ramos 001; Jonathan Tremblay; Kanav Arora; et al. (CoRR, 2025)

Improving Pre-Trained Vision-Language-Action Policies with Model-Based Search. - Cyrus Neary; Omar G. Younis; Artur Kuramshin; Ozgur Aslan; Glen Berseth (CoRR, 2025)

Designing policies for transition-independent multiagent systems that are robust to communication loss. - Mustafa O. Karabag; Cyrus Neary; Ufuk Topcu (Auton. Agents Multi Agent Syst., 2025)