| Dynamic automaton-guided reward shaping for monte carlo tree search A Velasquez, B Bissey, L Barak, A Beckus, I Alkhouri, D Melcer, G Atia Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 12015 …, 2021 | 16 | 2021 |
| Shield decentralization for safe multi-agent reinforcement learning D Melcer, C Amato, S Tripakis Advances in Neural Information Processing Systems 35, 13367-13379, 2022 | 6 | 2022 |
| Multi-agent tree search with dynamic reward shaping A Velasquez, B Bissey, L Barak, D Melcer, A Beckus, I Alkhouri, G Atia Proceedings of the International Conference on Automated Planning and …, 2022 | 2 | 2022 |
| Verification-guided tree search A Velasquez, D Melcer Proceedings of the 19th International Conference on Autonomous Agents and …, 2020 | 2 | 2020 |
| Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars D Melcer, N Fulton, SK Gouda, H Qian arXiv preprint arXiv:2402.17988, 2024 | | 2024 |
| ProofViz: An Interactive Visual Proof Explorer D Melcer, S Chang Trends in Functional Programming: 22nd International Symposium, TFP 2021 …, 2021 | | 2021 |
Alvaro VelasquezProgram Manager, DARPAVerified email at darpa.mil
