M. Guzman

According to our database, M. Guzman authored at least 3 papers between 2000 and 2023.

Collaborative distances:

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

2023

Formal Verification for Safe AI-based Flight Planning for UAVs^*.

R. Bouchekir, M. Guzman, A. Cook, J. Haindl, R. Woolnough

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2000

A Chip for a Routing Table Based on a Novel Modified Trie Algorithm.

D. Torres Roman, A. Larios, M. Guzman

VLSI Design, 2000

A New Bus Assignment Algorithm for a Shared Bus Switch Fabric.

D. Torres Roman, J. Gonzalez, M. Guzman

VLSI Design, 2000