Motamed, Nima

3 publications

AAAI 2025 Probabilistic Strategy Logic with Degrees of Observability Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan
IJCAI 2024 Revising Beliefs and Intentions in Stochastic Environments Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder
IJCAI 2023 Probabilistic Temporal Logic for Reasoning About Bounded Policies Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan