Thyago J. Machado

According to our database, Thyago J. Machado authored at least 4 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns.

Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé

Int. J. Softw. Tools Technol. Transf., 2022

2021

Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm.

Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers.

Yanni Kouskoulas, Thyago J. Machado, Daniel Genin

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

Forensic Speaker Verification Using Ordinary Least Squares.

Thyago J. Machado, Jozue Vieira Filho, Mario A. de Oliveira

Sensors, 2019