Maryam Rostamigiv
3 papers · 2024–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
situation calculus
(3)
nondeterministic domain
(2)
causal reasoning
(2)
formal methods
(1)
automated reasoning
(1)
formal verification
(1)
multi-agent game
(1)
multi-agent system
(1)
abstraction mapping
(1)
actual causation
(1)
strategic properties
(1)
refinement mapping
(1)
causal inference
(1)
nondeterministic reasoning
(1)
game theory
(1)
knowledge representation
(1)