Daniel Melcer

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Semantic Smoothing

Partially Observable

Top Venues

Publications

Daniel Melcer, Christopher Amato, Stavros Tripakis
Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. AAMAS (2024)
Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda, Haifeng Qian
Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars. CoRR (2024)
Daniel Melcer, Christopher Amato, Stavros Tripakis
Shield Decentralization for Safe Multi-Agent Reinforcement Learning. NeurIPS (2022)
Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri, George K. Atia
Multi-Agent Tree Search with Dynamic Reward Shaping. ICAPS (2022)
Alvaro Velasquez, Brett Bissey, Lior Barak, Andre Beckus, Ismail Alkhouri, Daniel Melcer, George K. Atia
Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search. AAAI (2021)
Daniel Melcer, Stephen Chang
ProofViz: An Interactive Visual Proof Explorer. TFP (2021)
Alvaro Velasquez, Daniel Melcer
Verification-Guided Tree Search. AAMAS (2020)