Samuel I. Akinwande

According to our database, Samuel I. Akinwande authored at least 3 papers between 2025 and 2026.

Collaborative distances:

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

2026

The FABRIC Strategy for Verifying Neural Feedback Systems.

Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer, Clark W. Barrett

CoRR, March, 2026

A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems.

Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer, Clark W. Barrett

CoRR, January, 2026

2025

Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures.

Samuel I. Akinwande, Chelsea Sidrane, Mykel J. Kochenderfer, Clark W. Barrett

CoRR, March, 2025