Viviane Bonadia dos Santos

Publication Activity (10 Years)

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

Top Topics

Temporally Extended

Verification Method

Mazurkiewicz Traces

Satisfiability Problem

Top Venues

PAAMS (Workshops)

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)
Alana de Santana Correia, Iury Cleveston, Viviane Bonadia dos Santos, Sandra Avila, Esther Luna Colombini
An Attentional Model for Earthquake Prediction Using Seismic Data. PAAMS (Workshops) (2021)