Login / Signup
Nima Motamed
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Qualitative Reasoning
Model Checker
Reactive Systems
Formal Specification Language
Top Venues
EUMAS
IJCAI
</>
Publications
</>
Nima Motamed
,
Natasha Alechina
,
Mehdi Dastani
,
Dragan Doder
,
Brian Logan
Probabilistic Temporal Logic for Reasoning about Bounded Policies.
IJCAI
(2023)
Nima Motamed
,
Arie Soeteman
,
Simon Rey
,
Ulle Endriss
Participatory Budgeting with Multiple Resources.
EUMAS
(2022)