Return to Article Details AUTONOMOUS MOBILE ROBOT MENGGUNAKAN METODE FORMAL LOGIKA TEMPORAL LINIER Download Download PDF