Cyrus Neary

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 26

Top Topics

Multiagent Planning

Reinforcement Learning

Multiagent Systems

Top Venues

Publications

Cyrus Neary, Christian Ellis, Aryaman Singh Samyal, Craig Lennon, Ufuk Topcu
A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning. ICRA (2024)
Yunhao Yang, Cyrus Neary, Ufuk Topcu
Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception. AAMAS (2024)
Yunhao Yang, Cyrus Neary, Ufuk Topcu
Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception. CoRR (2023)
Bo Chen, Calvin Hawkins, Mustafa O. Karabag, Cyrus Neary, Matthew T. Hale, Ufuk Topcu
Differential Privacy in Cooperative Multiagent Planning. UAI (2023)
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
Formal Methods for Autonomous Systems. Found. Trends Syst. Control. 10 (3-4) (2023)
Franck Djeumou, Cyrus Neary, Ufuk Topcu
How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations. CoRR (2023)
Bo Chen, Calvin Hawkins, Mustafa O. Karabag, Cyrus Neary, Matthew Hale, Ufuk Topcu
Differential Privacy in Cooperative Multiagent Planning. CoRR (2023)
Cyrus Neary, Christian Ellis, Aryaman Singh Samyal, Craig Lennon, Ufuk Topcu
A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning. CoRR (2023)
Sophia Smith, Cyrus Neary, Ufuk Topcu
Automatic Decomposition of Reward Machines for Decentralized Multiagent Reinforcement Learning. CDC (2023)
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
Formal Methods for Autonomous Systems. CoRR (2023)
Cyrus Neary, Aryaman Singh Samyal, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
Verifiable Reinforcement Learning Systems via Compositionality. CoRR (2023)
Adam J. Thorpe, Cyrus Neary, Franck Djeumou, Meeko M. K. Oishi, Ufuk Topcu
Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control. CoRR (2023)
Franck Djeumou, Cyrus Neary, Ufuk Topcu
How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations. CoRL (2023)
Cyrus Neary, Ufuk Topcu
Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks. L4DC (2023)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. L4DC (2022)
Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
Verifiable and Compositional Reinforcement Learning Systems. ICAPS (2022)
Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu
Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss. AAMAS (2022)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. IJCAI (2022)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. CoRR (2022)
Cyrus Neary, Ufuk Topcu
Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks. CoRR (2022)
Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu
Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss. CoRR (2022)
Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
Verifiable and Compositional Reinforcement Learning Systems. CoRR (2021)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. CoRR (2021)
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. AAMAS (2021)
Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu
Smooth Convex Optimization Using Sub-Zeroth-Order Oracles. AAAI (2021)
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. CoRR (2020)