Daniel Melcer

Orcid: 0000-0003-0807-8163

According to our database1, Daniel Melcer authored at least 7 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2022
Shield Decentralization for Safe Multi-Agent Reinforcement Learning.
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.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021
ProofViz: An Interactive Visual Proof Explorer.
Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Verification-Guided Tree Search.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020


  Loading...