Browsing UT - Computer Science by Author "Lewenusa, Irvan"
Now showing items 1-1 of 1
-
autonomous mobile robot menggunakan metode formal logika temporal linear
Lewenusa, Irvan (2008)Logika temporal linear (LTL) dikontruksi dari formulasi logika tingkah laku sistem yang diharapkan dari waktu ke waktu secara linear. Dengan demikian jika pada bagian atau waktu tertentu terjadi kesalahan pada sistem, ...