Neary, Cyrus
The University of Texas at Austin
2 papers on CoChat
Most cited papers
- Verified
Reward Machines for Cooperative Multi-Agent Reinforcement Learning
Neary, C., Xu, Z., Wu, B., & Topcu, U. (2021) · International Joint Conference on Autonomous Agents and Multiagent Systems
Reinforcement Learning in RoboticsMulti-Agent Systems and Negotiation
Cited by 28
- Verified
Formal Methods for Autonomous Systems
Wongpiromsarn, T., Ghasemi, M., Cubuktepe, M., Bakirtzis, G., Carr, S., Karabag, M. O., Neary, C., Gohari, P., & Topcu, U. (2023) · Foundations and Trends® in Systems and Control
Formal Methods in VerificationSafety Systems Engineering in Autonomy
Cited by 17
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free