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
582022
Reward machines for cooperative multi-agent reinforcement learning
C Neary, Z Xu, B Wu, U Topcu
arXiv preprint arXiv:2007.01962, 2020
412020
Verifiable and compositional reinforcement learning systems
C Neary, C Verginis, M Cubuktepe, U Topcu
Proceedings of the International Conference on Automated Planning and …, 2022
182022
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
122022
Physics-informed kernel embeddings: Integrating prior system knowledge with data-driven control
AJ Thorpe, C Neary, F Djeumou, MMK Oishi, U Topcu
arXiv preprint arXiv:2301.03565, 2023
82023
Automaton-based representations of task knowledge from generative language models
Y Yang, JR Gaglione, C Neary, U Topcu
arXiv preprint arXiv:2212.01944, 2022
72022
Planning not to talk: Multiagent systems that are robust to communication loss
MO Karabag, C Neary, U Topcu
arXiv preprint arXiv:2201.06619, 2022
62022
Compositional learning of dynamical system models using port-hamiltonian neural networks
C Neary, U Topcu
Learning for Dynamics and Control Conference, 679-691, 2023
32023
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
32021
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
22023
Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception
Y Yang, C Neary, U Topcu
arXiv preprint arXiv:2308.05295, 2023
12023
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
12023
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
2023
A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning
C Neary, C Ellis, AS Samyal, C Lennon, U Topcu
arXiv preprint arXiv:2312.01249, 2023
2023
Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
Y Yang, C Neary
NeurIPS 2023 Foundation Models for Decision Making Workshop, 2023
2023
Formal Methods for Autonomous Systems
T Wongpiromsarn, M Ghasemi, M Cubuktepe, G Bakirtzis, S Carr, ...
arXiv preprint arXiv:2311.01258, 2023
2023
Large Language Models for Verifiable Sequential Decision-Making in Autonomous Systems
Y Yang, JR Gaglione, C Neary
2nd Workshop on Language and Robot Learning: Language as Grounding, 2023
2023
Verifiable Reinforcement Learning Systems via Compositionality
C Neary, AS Samyal, C Verginis, M Cubuktepe, U Topcu
arXiv preprint arXiv:2309.06420, 2023
2023
Control, Learning and Adaptation in Information-Constrained, Adversarial Environments
YE Bayiz, S Carr, ES Crafts, M Cubuktepe, F Djeumou, M Ghasemi, ...
2023
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
2022
The system can't perform the operation now. Try again later.
Articles 1–20