Maryam Rostamigiv
3 papers · 2024–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
Top co-authors
Research topics
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)