Andrei Luz B. Asoy

According to our database, Andrei Luz B. Asoy authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Automated Verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness.

Andrei Luz B. Asoy, Jasmine A. Malinao

Proceedings of the Novel and Intelligent Digital Systems: Proceedings of the 5th International Conference, 2025