pith. sign in

Title resolution pending

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it

citation-role summary

background 1

citation-polarity summary

fields

cs.FL 1 cs.GT 1

years

2026 2

verdicts

UNVERDICTED 2

roles

background 1

polarities

background 1

clear filters

representative citing papers

Extending QuAK with Nested Quantitative Automata

cs.FL · 2026-05-12 · unverdicted · novelty 5.0 · 3 refs

Extends QuAK with flattening procedures that reduce nested quantitative automata to quantitative automata while preserving answers to threshold decision problems for known decidable cases.

citing papers explorer

Showing 2 of 2 citing papers after filters.

  • Equilibria in Multiplayer Graph Games: An Algorithmic Study cs.GT · 2026-05-19 · unverdicted · none · ref 293

    Provides complexity results for the constrained existence problem of five equilibrium notions in multiplayer graph games.

  • Extending QuAK with Nested Quantitative Automata cs.FL · 2026-05-12 · unverdicted · none · ref 5 · 3 links

    Extends QuAK with flattening procedures that reduce nested quantitative automata to quantitative automata while preserving answers to threshold decision problems for known decidable cases.