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
502022
Reward machines for cooperative multi-agent reinforcement learning
C Neary, Z Xu, B Wu, U Topcu
arXiv preprint arXiv:2007.01962, 2020
362020
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
92022
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
62022
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
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
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
12023
Differential Privacy in Cooperative Multiagent Planning
B Chen, C Hawkins, MO Karabag, C Neary, M Hale, U Topcu
arXiv preprint arXiv:2301.08811, 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