Shibashis Guha

2 papers · 2017–2025 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (8) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15)

Conferences

IJCAI (2)

Top co-authors

Ashutosh Trivedi (1) Amin Falah (1) Guy Avni (1) Orna Kupferman (1)

Keywords

reinforcement learning (1) abstraction refinement (1) formal verification (1) nash equilibrium (1) reward shaping (1) model checking (1) reward machine (1) global optimum (1) network game (1) continuous-time markov decision process (1) counterfactual experience (1)

Papers

Continuous-Time Reward Machines IJCAI 2025

An Abstraction-Refinement Methodology for Reasoning about Network Games IJCAI 2017