Maria Viviane de Menezes

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 2

Top Topics

Temporally Extended

Automata Theoretic

Top Venues

Publications

Warlles Carlos Costa Machado, Viviane Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes
Specifying Preferences over Policies Using Branching Time Temporal Logic. BRACIS (1) (2023)
Viviane M. Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes
Symbolic Planning for Strong-Cyclic Policies. BRACIS (2019)
Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann
On the revision of planning tasks. ECAI (2014)
Maria Viviane de Menezes, Leliane Nunes de Barros
Model Update for Automated Planning. AAAI (2011)
Maria Viviane de Menezes, Silvio do Lago Pereira, Leliane Nunes de Barros
System Design Modification with Actions. SBIA (2010)