[go: up one dir, main page]

Follow
Cyrus Neary
Title
Cited by
Cited by
Year
Neural networks with physics-informed architectures and constraints for dynamical systems modeling
F Djeumou, C Neary, E Goubault, S Putot, U Topcu
Learning for Dynamics and Control Conference, 263-277, 2022
1202022
Reward machines for cooperative multi-agent reinforcement learning
C Neary, Z Xu, B Wu, U Topcu
arXiv preprint arXiv:2007.01962, 2020
742020
Verifiable and compositional reinforcement learning systems
C Neary, C Verginis, M Cubuktepe, U Topcu
Proceedings of the International Conference on Automated Planning and …, 2022
322022
Compositional learning of dynamical system models using port-Hamiltonian neural networks
C Neary, U Topcu
Learning for Dynamics and Control Conference, 679-691, 2023
282023
Taylor-lagrange neural ordinary differential equations: Toward fast training and evaluation of neural odes
F Djeumou, C Neary, E Goubault, S Putot, U Topcu
arXiv preprint arXiv:2201.05715, 2022
232022
How to learn and generalize from three minutes of data: Physics-constrained and uncertainty-aware neural stochastic differential equations
F Djeumou, C Neary, U Topcu
arXiv preprint arXiv:2306.06335, 2023
212023
Roboarena: Distributed real-world evaluation of generalist robot policies
P Atreya, K Pertsch, T Lee, MJ Kim, A Jain, A Kuramshin, C Eppner, ...
arXiv preprint arXiv:2506.18123, 2025
182025
Planning not to talk: Multiagent systems that are robust to communication loss
MO Karabag, C Neary, U Topcu
arXiv preprint arXiv:2201.06619, 2022
152022
Physics-informed kernel embeddings: Integrating prior system knowledge with data-driven control
AJ Thorpe, C Neary, F Djeumou, MMK Oishi, U Topcu
2024 American Control Conference (ACC), 3130-3137, 2024
142024
Formal methods for autonomous systems
T Wongpiromsarn, M Ghasemi, M Cubuktepe, G Bakirtzis, S Carr, ...
arXiv preprint arXiv:2311.01258, 2023
132023
Multimodal pretrained models for verifiable sequential decision-making: Planning, grounding, and perception
Y Yang, C Neary, U Topcu
arXiv preprint arXiv:2308.05295, 2023
122023
Differential privacy in cooperative multiagent planning
B Chen, C Hawkins, MO Karabag, C Neary, M Hale, U Topcu
Uncertainty in Artificial Intelligence, 347-357, 2023
122023
Automaton-based representations of task knowledge from generative language models
Y Yang, JR Gaglione, C Neary, U Topcu
arXiv preprint arXiv:2212.01944, 2022
112022
Improving pre-trained vision-language-action policies with model-based search
C Neary, OG Younis, A Kuramshin, O Aslan, G Berseth
arXiv preprint arXiv:2508.12211, 2025
72025
Smooth convex optimization using sub-zeroth-order oracles
MO Karabag, C Neary, U Topcu
Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3815-3822, 2021
72021
A multifidelity sim-to-real pipeline for verifiable and compositional reinforcement learning
C Neary, C Ellis, AS Samyal, C Lennon, U Topcu
2024 IEEE International Conference on Robotics and Automation (ICRA), 4349-4355, 2024
52024
Automatic Decomposition of Reward Machines for Decentralized Multiagent Reinforcement Learning
S Smith, C Neary, U Topcu
2023 62nd IEEE Conference on Decision and Control (CDC), 5423-5430, 2023
42023
Verifiable Reinforcement Learning Systems via Compositionality
C Neary, AS Samyal, C Verginis, M Cubuktepe, U Topcu
arXiv preprint arXiv:2309.06420, 2023
42023
Multiscale heterogeneous optimal lockdown control for COVID-19 using geographic information
C Neary, M Cubuktepe, N Lauffer, X Jin, AJ Phillips, Z Xu, D Tong, ...
Scientific reports 12 (1), 3970, 2022
42022
Neural port-hamiltonian differential algebraic equations for compositional learning of electrical networks
C Neary, N Tsao, U Topcu
arXiv preprint arXiv:2412.11215, 2024
32024
The system can't perform the operation now. Try again later.
Articles 1–20