Arka Ghosh

14 papers A* 3B 2Journal 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Computing the Reachability Value of Posterior-Deterministic POMDPs.
CoRR
Nathanaël Fijalkow, Arka Ghosh, Roman Kniazev, Guillermo A. Pérez, Pierre Vandenhove
2025 J jnl
Computability of Equivariant Gröbner bases.
CoRR
Arka Ghosh, Aliaume Lopez
2025 J jnl
Orbit-finite Linear Programming.
J. ACM
Arka Ghosh, Piotr Hofman, Slawomir Lasota
2025 J jnl
Parikh one-counter automata.
Inf. Comput.
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha
2025 J jnl
The geometry of reachability in continuous vector addition systems with states.
Inf. Comput.
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
2024 A* conf
Equivariant ideals of polynomials.
LICS
Arka Ghosh, Slawomir Lasota
2024 J jnl
Equivariant ideals of polynomials.
CoRR
Arka Ghosh, Slawomir Lasota
2023 A* conf
Orbit-finite linear programming.
LICS
Arka Ghosh, Piotr Hofman, Slawomir Lasota
2023 J jnl
Orbit-finite linear programming.
CoRR
Arka Ghosh, Piotr Hofman, Slawomir Lasota
2023 B conf
Parikh One-Counter Automata.
MFCS
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha
2023 B conf
The Geometry of Reachability in Continuous Vector Addition Systems with States.
MFCS
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
2022 A* conf
Solvability of orbit-finite systems of linear equations.
LICS
Arka Ghosh, Piotr Hofman, Slawomir Lasota
2022 J jnl
Solvability of orbit-finite systems of linear equations.
CoRR
Arka Ghosh, Piotr Hofman, Slawomir Lasota
2022 J jnl
The Geometry of Reachability in Continuous Vector Addition Systems with States.
CoRR
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez