Maryam Rostamigiv
3 papers
· 2024–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)