Login / Signup
Ramit Das
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 3
Top Topics
Game Theoretic
Rendezvous Search
Computationally Feasible
Coalitional Games
Top Venues
LORI
TARK
</>
Publications
</>
Ramit Das
,
R. Ramanujam
,
Sunil Simon
A Logical Description of Priority Separable Games.
LORI
(2023)
Ramit Das
,
Anantha Padmanabha
,
R. Ramanujam
Reasoning in Large Games with Unboundedly Many Players.
LORI
(2021)
Ramit Das
,
R. Ramanujam
,
Sunil Simon
Reasoning about Social Choice and Games in Monadic Fixed-Point Logic.
TARK
(2019)