9 citations · 10 across the 4 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.PL2024★ 1 cited
Domain Reasoning in TopKAT
Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
TopKAT is the algebraic theory of Kleene algebra with tests (KAT) extended with a top element. Compared to KAT, one pleasant feature of TopKAT is that, in relational models, the to…
cs.GT2024
Finite-memory Strategies for Almost-sure Energy-MeanPayoff Objectives in MDPs
Mohan Dantam, Richard Mayr
We consider finite-state Markov decision processes with the combined Energy-MeanPayoff objective. The controller tries to avoid running out of energy while simultaneously attaining…