Tyler Martin

According to our database, Tyler Martin authored at least 3 papers between 2012 and 2024.

Collaborative distances:

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

2024

Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis.

Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2021

Graph Convolutional Network for Swahili News Classification.

Alexandros Kastanos, Tyler Martin

Proceedings of the 2nd AfricaNLP Workshop Proceedings, AfricaNLP@EACL 2021, Virtual Event, 2021

2012

Interactive Quadruped Animation.

Tyler Martin, Michael Neff

Proceedings of the Motion in Games - 5th International Conference, 2012