VLDB 2026 Research / reviewers in the wild / expert
Benjamin Plummer 0001
dblp:160/2111-1
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2026
0009-0007-3069-2676ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Positional Properties in Temporal LogicabstractWe study positional properties in the context of game-based reactive synthesis. Our motivation stems from having a usable specification logic, for which tractable synthesis is guaranteed. We demonstrate that every ω-regular positional property (with respect to state- or edge-labelled game graphs), is expressible in linear-time temporal logic. Additionally, we provide some necessary and sufficient conditions for when an ω-regular property is positional, and identify well-behaved subclasses of ω-regular positional properties. Using varieties of languages, we prove that no class of ω-regular positional properties can simultaneously contain a prefix-independent property and be closed under Boolean operations. We conclude by discussing the implications on alternating-time temporal logic, where we isolate a few different fragments with tractable model checking, and compare the associated expressivity of such fragments. Jessica Newman, Benjamin Plummer 0001 |
CONCUR | 2 |
| 2026 | A Coalgebraic Approach to Infinite Games
Benjamin Plummer 0001, Corina Cîrstea |
FoSSaCS | 1 |