Tato práce porovnává metody model predictive control a minimum-violation planning pro optimální plánování trajektorie vozidla a jeho řízení. Problémy plánování jsou definovány pomocí výroků lineární temporální logiky, které ...