1 article
New arXiv work addresses overfitting in robotics, quantum multi-agent systems, and formal verification in decision-making under uncertainty.