Natasha Alechina

21 papers · 2013–2026 · 2 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (12) 🗺️ Taxonomy Completionist (31) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌈 Renaissance Researcher (8) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (12) 🐣 Hot Topic Early Bird 🤝 Dynamic Duo (16) 🔥 Unstoppable (5) 💎 Century Club (19) 🚀 Conference Pioneer 🗃️ Keyword Collector (82)

Conferences

IJCAI (14) AAAI (7)

Top co-authors

Brian Logan (17) Mehdi Dastani (8) Dragan Doder (4) Yuan Yao (4) Nima Motamed (4) John Thangarajah (3) Giuseppe Perelli (2) Hoang Nga Nguyen (2) Heshan Du (2) Michael Dann (2)

Keywords

multi-agent system (6) temporal logic (4) model checking (4) monte carlo tree search (3) formal methods (3) autonomous agent (2) euclidean space (2) intention recognition (2) probabilistic temporal logic (2) spatial reasoning (2) intention progression (2) belief revision (2) satisfiability problem (1) markov decision process (1) action prediction (1) pareto optimality (1) mechanism design (1) causal reasoning (1) multi-agent planning (1) stochastic game (1)

Papers

Rational Revision of Group Intentions AAAI 2026

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025

Probabilistic Strategy Logic with Degrees of Observability AAAI 2025

Synthesising Minimum Cost Dynamic Norms IJCAI 2025

Pure-Past Action Masking AAAI 2024

Revising Beliefs and Intentions in Stochastic Environments IJCAI 2024

Intention Progression with Temporally Extended Goals IJCAI 2024

Multi-Agent Intention Recognition and Progression IJCAI 2023

Probabilistic Temporal Logic for Reasoning about Bounded Policies IJCAI 2023

Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract) IJCAI 2023

Multi-Agent Intention Progression with Reward Machines IJCAI 2022

Intention Progression under Uncertainty IJCAI 2020

A Logic of Directions IJCAI 2020

Parameterised Resource-Bounded ATL AAAI 2020

Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019

Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable AAAI 2019

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract) IJCAI 2018

Verifying Existence of Resource-Bounded Coalition Uniform Strategies IJCAI 2016

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic IJCAI 2015

Symbolic Model Checking for One-Resource RB+-ATL IJCAI 2015

Reasoning about Normative Update IJCAI 2013