Thiago Monteiro Tuxi

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 2

Top Topics

Pspace Complete

Linear Time Temporal Logic

Top Venues

Discret. Event Dyn. Syst.

Publications

Thiago Monteiro Tuxi, Lilian K. Carvalho, Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha
Diagnosability verification using LTL model checking. Discret. Event Dyn. Syst. 32 (3) (2022)
Thiago Monteiro Tuxi, Antonio Eduardo Carrilho da Cunha
Contributions to the control of Time-Weighted Systems. ETFA (2018)