Demo Data from VLDB 2026 / reviewers in the wild / expert
Mahdi Nazeri
dblp:326/0967
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Logic in computer science · 50% Algorithmic game theory and mechanism design · 50% | |
| Artificial intelligence
1 paper |
Planning, search and constraint satisfaction · 62% Reinforcement learning · 19% Motion planning and robot control · 19% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
policy synthesis |
1.0 | 1 | 2026 | Incremental Data-Driven Policy Synthesis via Game Abstractions · AAAI 2026 |
Algorithmic game theory and mechanism design
game solving |
1.0 | 1 | 2026 | Incremental Data-Driven Policy Synthesis via Game Abstractions · AAAI 2026 |
Logic in computer science
temporal logic |
1.0 | 1 | 2026 | Incremental Data-Driven Policy Synthesis via Game Abstractions · AAAI 2026 |
Robotics › Motion planning and robot control › hybrid systems
abstraction-based control |
0.3 | 1 | 2026 | Incremental Data-Driven Policy Synthesis via Game Abstractions · AAAI 2026 |
Machine learning › Reinforcement learning
model-based reinforcement learning |
0.3 | 1 | 2026 | Incremental Data-Driven Policy Synthesis via Game Abstractions · AAAI 2026 |
Methods — techniques the papers use, named apart from their topics
reachability analysis · 2.0incremental game solving · 2.0game abstraction · 2.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Incremental Data-Driven Policy Synthesis via Game AbstractionsabstractWe address the synthesis of control policies for unknown discrete-time stochastic dynamical systems to satisfy temporal logic objectives. We present a data-driven, abstraction-based control framework that integrates online learning with novel incremental game-solving. Under appropriate continuity assumptions, our method abstracts the system dynamics into a finite stochastic (2.5-player) game graph derived from data. Given a requirement over time on this graph, we compute the winning region -- i.e., the set of initial states from which the objective is satisfiable -- in the resulting game, together with a corresponding control policy. Our main contribution is the construction of abstractions, winning regions and control policies incrementally, as data about the system dynamics accumulates. Concretely, our algorithm refines under- and over-approximations of reachable sets for each state-action pair as new data samples arrive. These refinements induce structural modifications in the game graph abstraction -- such as the addition or removal of nodes and edges -- which in turn modify the winning region. Crucially, we show that these updates are inherently monotonic: under-approximations only grow, over-approximations only shrink, and the winning region only expands. We exploit this monotonicity by defining an objective-induced ranking function on the nodes of the abstract game that increases monotonically as new data samples are incorporated. These ranks underpin our novel incremental game-solving algorithm, which employs customized gadgets (DAG-like subgames) within a rank-lifting algorithm to efficiently update the winning region. Numerical case studies demonstrate significant computational savings compared to the baseline approach, which resolves the entire game from scratch whenever new data samples arrive. Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck |
AAAI | 2 |