News and Announcements

1. [09.2025] Presented paper, Formal Verification of Line-following Robot Control Using Linear Temporal Logic, in RAAICON Conference.
2. [07.2025] Accepted paper, Formal Verification of Line-following Robot Control Using Linear Temporal Logic, in RAAICON Conference.
3. [06.2025] Published paper, Optimal DC Motor Speed Control Comparison, is available in IEEE Explore.