Cyrus Neary

Reinforcement learning, multiagent reinforcement learning, physics-informed machine learning, formal methods.