Login / Signup
Nuno Macedo
ORCID
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 40
Top Topics
Teaching Mathematics
Temporal Logic
Partial Knowledge
Relational Models
Top Venues
ABZ
CoRR
IROS
IRC
</>
Publications
</>