Ashutosh Trivedi

10 papers at tracked venues · 8 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4 ICSE ×2 ACL ×1 ASE ×1 ECAI ×1 IJCAI ×1

Frequent coauthors

Fabio Somenzi

×5

Mateo Perez

×4

Verya Monjezi

×3

Saeid Tizpaz-Niari

×3

Ashish Kumar

×2

Gang Tan

×2

Ernst Moritz Hahn

×2

Sven Schewe

×2

Dominik Wojtczak

×2

Amin Falah

×1

Shibashis Guha

×1

Anirudh Maiya

×1

Papers

Continuous-Time Reward Machines
IJCAI 2025 ·
Amin Falah
,
Shibashis Guha
, Ashutosh Trivedi
Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
ACL 2025 ·
Anirudh Maiya
,
Razan Alghamdi
,
Maria Leonor Pacheco
, Ashutosh Trivedi,
Fabio Somenzi
Fairness Testing Through Extreme Value Theory
ICSE 2025 ·
Verya Monjezi
, Ashutosh Trivedi,
Vladik Kreinovich
,
Saeid Tizpaz-Niari
Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations
ASE 2025 ·
Ranit Debnath Akash
,
Ashish Kumar
,
Verya Monjezi
, Ashutosh Trivedi,
Gang Tan
,
Saeid Tizpaz-Niari
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs
AAAI 2024 ·
Mateo Perez
,
Fabio Somenzi
, Ashutosh Trivedi
Assume-Guarantee Reinforcement Learning
AAAI 2024 ·
Milad Kazemi
,
Mateo Perez
,
Fabio Somenzi
,
Sadegh Soudjani
, Ashutosh Trivedi,
Alvaro Velasquez
Causal Graph Fuzzing for Fair ML Sofware Development
ICSE 2024 ·
Verya Monjezi
,
Ashish Kumar
,
Gang Tan
, Ashutosh Trivedi,
Saeid Tizpaz-Niari
Multi-Agent Reinforcement Learning for Alternating-Time Logic
ECAI 2024 ·
Ernst Moritz Hahn
,
Mateo Perez
,
Sven Schewe
,
Fabio Somenzi
, Ashutosh Trivedi,
Dominik Wojtczak
Neural Closure Certificates
AAAI 2024 ·
Alireza Nadali
,
Vishnu Murali
, Ashutosh Trivedi,
Majid Zamani
Omega-Regular Decision Processes
AAAI 2024 ·
Ernst Moritz Hahn
,
Mateo Perez
,
Sven Schewe
,
Fabio Somenzi
, Ashutosh Trivedi,
Dominik Wojtczak