- Tytuł:
- Towards Safe Navigation by Formalizing Navigation Rules
- Autorzy:
-
Kreutzmann, A.
Wolter, D.
Dylla, F.
Lee, J. H. - Data publikacji:
- 2013
- Wydawca:
- Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
- Tematy:
-
safety of navigation
Navigation Rules
artificial intelligence
Spatio-temporal Logics - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki