Daniel Melcer

According to our database, Daniel Melcer authored at least 10 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Safe Multi-Agent Learning via Shielding in Decentralized Environments.

Daniel Melcer

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

2024

Approximately Aligned Decoding.

Daniel Melcer, Sujan K. Gonugondla, Pramuditha Perera, Haifeng Qian, Wen-Hao Chiang, Yanjun Wang, Nihal Jain, Pranav Garg, Xiaofei Ma, Anoop Deoras

CoRR, 2024

Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars.

Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda, Haifeng Qian

CoRR, 2024

Shield Decomposition for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments.

Daniel Melcer, Christopher Amato, Stavros Tripakis

RLJ, 2024

Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments.

Daniel Melcer, Christopher Amato, Stavros Tripakis

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2022

Shield Decentralization for Safe Multi-Agent Reinforcement Learning.

Daniel Melcer, Christopher Amato, Stavros Tripakis

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Multi-Agent Tree Search with Dynamic Reward Shaping.

Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri, George K. Atia

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

ProofViz: An Interactive Visual Proof Explorer.

Daniel Melcer, Stephen Chang

Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search.

Alvaro Velasquez, Brett Bissey, Lior Barak, Andre Beckus, Ismail Alkhouri, Daniel Melcer, George K. Atia

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Verification-Guided Tree Search.

Alvaro Velasquez, Daniel Melcer

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020