|
|
|
|
| LEADER |
00991na a2200193 4500 |
| 003 |
HR-ZaFER |
| 008 |
160221s2019 ci ||||| m||| 00| 0 hr d |
| 035 |
|
|
|a (HR-ZaFER)ferid6910
|
| 040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|e ppiak
|
| 100 |
1 |
|
|a Pleslić, Leon
|9 40958
|
| 245 |
1 |
0 |
|a Planer za homogeni višerobotski sustav zasnovan na linearnoj temporalnoj logici :
|b diplomski rad /
|c Leon Pleslić ; [mentor Stjepan Bogdan].
|
| 246 |
1 |
|
|a Linear temporal logic based planner for homogeneous multi-robot system
|i Naslov na engleskom:
|
| 260 |
|
|
|a Zagreb,
|b L. Pleslić,
|c 2019.
|
| 502 |
|
|
|b diplomski studij
|c Fakultet elektrotehnike i računarstva u Zagrebu
|g smjer: Automatika, šifra smjera: 46, datum predaje: 2019-06-28, datum završetka: 2019-07-18
|
| 653 |
|
1 |
|a Linearna temporalna logika
|a provjera modela
|a Višerobotski sustav
|a planiranje misije
|
| 653 |
|
1 |
|a linear temporal logic
|a model checking
|a multi-robot system
|a path planning
|
| 700 |
1 |
|
|a Bogdan, Stjepan
|4 ths
|9 9561
|
| 942 |
|
|
|c Y
|
| 999 |
|
|
|c 51668
|d 51668
|