Verification-Guided Tree Search. - Alvaro Velasquez; Daniel Melcer (AAMAS, 2020)

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 (AAAI, 2021)

ProofViz: An Interactive Visual Proof Explorer. - Daniel Melcer; Stephen Chang 001 (TFP, 2021)

Multi-Agent Tree Search with Dynamic Reward Shaping. - Alvaro Velasquez; Brett Bissey; Lior Barak; Daniel Melcer; Andre Beckus; Ismail Alkhouri; George K. Atia (ICAPS, 2022)

Shield Decentralization for Safe Multi-Agent Reinforcement Learning. - Daniel Melcer; Christopher Amato; Stavros Tripakis (NeurIPS, 2022)

Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. - Daniel Melcer; Christopher Amato; Stavros Tripakis (AAMAS, 2024)

Shield Decomposition for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. - Daniel Melcer; Christopher Amato; Stavros Tripakis (RLJ, 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)

Approximately Aligned Decoding. - Daniel Melcer; Sujan K. Gonugondla; Pramuditha Perera; Haifeng Qian; Wen-Hao Chiang; Yanjun Wang; Nihal Jain; Pranav Garg 001; Xiaofei Ma 001; Anoop Deoras (CoRR, 2024)

Safe Multi-Agent Learning via Shielding in Decentralized Environments. - Daniel Melcer (AAMAS, 2025)