PPaperPicks

Ashutosh Trivedi

7 papers at tracked venues · 5 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4ACL ×1ECAI ×1IJCAI ×1

Frequent coauthors

Ernst Moritz Hahn
DBLP profile ↗ORCID search ↗
×2
Amin Falah
DBLP profile ↗ORCID search ↗
×1
Anirudh Maiya
DBLP profile ↗ORCID search ↗
×1
Mateo Perez
DBLP profile ↗ORCID search ↗
×1
Milad Kazemi
DBLP profile ↗ORCID search ↗
×1
Alireza Nadali
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Continuous-Time Reward Machines
    IJCAI 2025 ·
    Amin Falah
    DBLP profile ↗ORCID search ↗
  2. Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
    ACL 2025 ·
    Anirudh Maiya
    DBLP profile ↗ORCID search ↗
  3. A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs
    AAAI 2024 ·
    Mateo Perez
    DBLP profile ↗ORCID search ↗
  4. Assume-Guarantee Reinforcement Learning
    AAAI 2024 ·
    Milad Kazemi
    DBLP profile ↗ORCID search ↗
  5. Multi-Agent Reinforcement Learning for Alternating-Time Logic
    ECAI 2024 ·
    Ernst Moritz Hahn
    DBLP profile ↗ORCID search ↗
  6. Neural Closure Certificates
    AAAI 2024 ·
    Alireza Nadali
    DBLP profile ↗ORCID search ↗
  7. Omega-Regular Decision Processes
    AAAI 2024 ·
    Ernst Moritz Hahn
    DBLP profile ↗ORCID search ↗