Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Mahdi Nazeri

dblp:326/0967 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
policy synthesis
1.012026
Incremental Data-Driven Policy Synthesis via Game Abstractions · AAAI 2026
Algorithmic game theory and mechanism design
game solving
1.012026
Incremental Data-Driven Policy Synthesis via Game Abstractions · AAAI 2026
Logic in computer science
temporal logic
1.012026
Incremental Data-Driven Policy Synthesis via Game Abstractions · AAAI 2026
Robotics › Motion planning and robot control › hybrid systems
abstraction-based control
0.312026
Incremental Data-Driven Policy Synthesis via Game Abstractions · AAAI 2026
Machine learning › Reinforcement learning
model-based reinforcement learning
0.312026
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
YearPublicationVenuePosition
2026 Incremental Data-Driven Policy Synthesis via Game Abstractions
abstract
We 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
AAAI2