Improving Autonomous Separation Assurance through Distributed
Reinforcement Learning with Attention NetworksAAAI Conference on Artificial Intelligence (AAAI), 2023 |
Verse: A Python library for reasoning about multi-agent hybrid system
scenariosInternational Conference on Computer Aided Verification (CAV), 2023 |