News and Announcements

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