Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Vaz Alves, Gleifer"'
Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
Autor:
Vaz Alves, Gleifer
Publikováno v:
Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.
Made available in DSpace on 2014-06-12T15:49:50Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Externí odkaz:
https://repositorio.ufpe.br/handle/123456789/1418
Autor:
Vaz Alves, Gleifer
Publikováno v:
Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.
Made available in DSpace on 2014-06-12T16:01:20Z (GMT). No. of bitstreams: 2 arquivo7782_1.pdf: 981863 bytes, checksum: b65d9631609e56e387c6959338c69466 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue da
Externí odkaz:
https://repositorio.ufpe.br/handle/123456789/2817
Publikováno v:
Vaz Alves, G, Dennis, L & Fisher, M 2020, Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent . in Formal Methods. FM 2019 International Workshops. FM 2019. . Lecture Notes in Computer Science, vol. 12232, Springer Nature . https://doi.org/10.1007/978-3-030-54994-7_16
The design of autonomous vehicles includes obstacle detection and avoidance, route planning, speed control, etc. However, there is a lack of an explicitely representation of the rules of the road on an autonomous vehicle. Additionally, it is necessar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3818::8b8afd539925792bfb2a24f2814d37e0
https://www.research.manchester.ac.uk/portal/en/publications/formalisation-and-implementation-of-road-junction-rules-on-an-autonomous-vehicle-modelled-as-an-agent(47f92b76-6e92-43c4-8bad-48da2bbdef69).html
https://www.research.manchester.ac.uk/portal/en/publications/formalisation-and-implementation-of-road-junction-rules-on-an-autonomous-vehicle-modelled-as-an-agent(47f92b76-6e92-43c4-8bad-48da2bbdef69).html
