Suman Sadhukhan

15 papers A 2B 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2026 B conf
Mean-Payoff and Energy Discrete-Bidding Games.
CSL
Guy Avni, Suman Sadhukhan
2025 A conf
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives.
AAMAS
Guy Avni, Martin Kurecka, Kaushik Mallik, Petr Novotný, Suman Sadhukhan
2025 J jnl
Computing Threshold Budgets in Discrete-Bidding Games.
TheoretiCS
Guy Avni, Suman Sadhukhan
2025 J jnl
Mean-payoff and Energy Discrete Bidding Games.
CoRR
Guy Avni, Suman Sadhukhan
2024 — conf
Auction-Based Scheduling.
TACAS (3)
Guy Avni, Kaushik Mallik, Suman Sadhukhan
2024 J jnl
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives.
CoRR
Guy Avni, Martin Kurecka, Kaushik Mallik, Petr Novotný, Suman Sadhukhan
2023 J jnl
Auction-Based Scheduling.
CoRR
Guy Avni, Kaushik Mallik, Suman Sadhukhan
2023 A conf
Reachability Poorman Discrete-Bidding Games.
ECAI
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic
2023 J jnl
Reachability Poorman Discrete-Bidding Games.
CoRR
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic
2022 — conf
Computing Threshold Budgets in Discrete-Bidding Games.
FSTTCS
Guy Avni, Suman Sadhukhan
2022 J jnl
Computing Threshold Budgets in Discrete-Bidding Games.
CoRR
Guy Avni, Suman Sadhukhan
2022 — conf
Semilinear Representations for Series-Parallel Atomic Congestion Games.
FSTTCS
Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur
2021 — —
A Verification Viewpoint on Network Congestion Games. (Les jeux de congestion dans les réseaux sous l'angle de la vérification).
Suman Sadhukhan
2020 — conf
Dynamic Network Congestion Games.
FSTTCS
Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur
2020 J jnl
Dynamic network congestion games.
CoRR
Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur