Cyrus Neary

According to our database1, Cyrus Neary authored at least 15 papers between 2021 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Formal Methods for Autonomous Systems.
Found. Trends Syst. Control., 2023

A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning.
CoRR, 2023

Verifiable Reinforcement Learning Systems via Compositionality.
CoRR, 2023

Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception.
CoRR, 2023

Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control.
CoRR, 2023

Differential Privacy in Cooperative Multiagent Planning.
Proceedings of the Uncertainty in Artificial Intelligence, 2023

Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks.
Proceedings of the Learning for Dynamics and Control Conference, 2023

How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations.
Proceedings of the Conference on Robot Learning, 2023

Automatic Decomposition of Reward Machines for Decentralized Multiagent Reinforcement Learning.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling.
Proceedings of the Learning for Dynamics and Control Conference, 2022

Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Verifiable and Compositional Reinforcement Learning Systems.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021
Reward Machines for Cooperative Multi-Agent Reinforcement Learning.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Smooth Convex Optimization Using Sub-Zeroth-Order Oracles.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021


  Loading...