Thyago J. Machado

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Dynamic Environments

Collision Avoidance

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns. CoRR (2022)
Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado
Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm. NFM (2021)
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin
Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers. FMICS (2020)
Thyago J. Machado, Jozue Vieira Filho, Mario A. de Oliveira
Forensic Speaker Verification Using Ordinary Least Squares. Sensors 19 (20) (2019)