Scipediacontent: Scipediacontent moved page Draft Content 461576798 to Fernandes et al 2017a

2021-02-02T07:47:39Z

Scipediacontent moved page Draft Content 461576798 to Fernandes et al 2017a

Scipediacontent: Created page with " == Abstract == The development and deployment of Autonomous Vehicles (AVs) on our roads is not only realistic in the near future but can also bring significant benefits. In..."

2021-02-02T07:47:36Z

Created page with " == Abstract == The development and deployment of Autonomous Vehicles (AVs) on our roads is not only realistic in the near future but can also bring significant benefits. In..."

New page

== Abstract ==

The development and deployment of Autonomous Vehicles (AVs) on our roads is not only realistic in the near future but can also bring significant benefits. In particular, it can potentially solve several problems relating to vehicles and traffic, for instance: (i) possible reduction of traffic congestion, with the consequence of improved fuel economy and reduced driver inactivity; (ii) possible reduction in the number of accidents, assuming that an AV can minimise the human errors that often cause traffic accidents; and (iii) increased ease of parking, especially when one considers the potential for shared AVs. In order to deploy an AV there are significant steps that must be completed in terms of hardware and software. As expected, software components play a key role in the complex AV system and so, at least for safety, we should assess the correctness of these components. In this paper, we are concerned with the high-level software component(s) responsible for the decisions in an AV. We intend to model an AV capable of navigation; obstacle avoidance; obstacle selection (when a crash is unavoidable) and vehicle recovery, etc, using a rational agent. To achieve this, we have established the following stages. First, the agent plans and actions have been implemented within the Gwendolen agent programming language. Second, we have built a simulated automotive environment in the Java language. Third, we have formally specified some of the required agent properties through LTL formulae, which are then formally verified with the AJPF verification tool. Finally, within the MCAPL framework (which comprises all the tools used in previous stages) we have obtained formal verification of our AV agent in terms of its specific behaviours. For example, the agent plans responsible for selecting an obstacle with low potential damage, instead of a higher damage obstacle (when possible) can be formally verified within MCAPL. We must emphasise that the major goal (of our present approach) lies in the formal verification of agent plans, rather than evaluating real-world applications. For this reason we utilised a simple matrix representation concerning the environment used by our agent.

Comment: In Proceedings FVAV 2017, arXiv:1709.02126

== Original document ==

The different versions of the original document can be found in:

* [http://arxiv.org/abs/1709.02557 http://arxiv.org/abs/1709.02557]

* [http://dx.doi.org/10.4204/eptcs.257.5 http://dx.doi.org/10.4204/eptcs.257.5]

* [http://livrepository.liverpool.ac.uk/3009370/1/FVAV2017.5.pdf http://livrepository.liverpool.ac.uk/3009370/1/FVAV2017.5.pdf]

* [https://arxiv.org/pdf/1709.02557 https://arxiv.org/pdf/1709.02557]

* [http://arxiv.org/pdf/1709.02557v1 http://arxiv.org/pdf/1709.02557v1],
: [https://doaj.org/toc/2075-2180 https://doaj.org/toc/2075-2180]

* [https://arxiv.org/abs/1709.02557v1 https://arxiv.org/abs/1709.02557v1],
: [https://livrepository.liverpool.ac.uk/3009370 https://livrepository.liverpool.ac.uk/3009370],
: [https://arxiv.org/pdf/1709.02557.pdf https://arxiv.org/pdf/1709.02557.pdf],
: [http://ui.adsabs.harvard.edu/abs/2017arXiv170902557F/abstract http://ui.adsabs.harvard.edu/abs/2017arXiv170902557F/abstract],
: [https://export.arxiv.org/pdf/1709.02557 https://export.arxiv.org/pdf/1709.02557],
: [https://dblp.uni-trier.de/db/series/eptcs/eptcs257.html#abs-1709-02557 https://dblp.uni-trier.de/db/series/eptcs/eptcs257.html#abs-1709-02557],
: [https://ru.arxiv.org/abs/1709.02557 https://ru.arxiv.org/abs/1709.02557],
: [https://ru.arxiv.org/pdf/1709.02557 https://ru.arxiv.org/pdf/1709.02557],
: [https://academic.microsoft.com/#/detail/2753051499 https://academic.microsoft.com/#/detail/2753051499]

← Older revision	Revision as of 07:47, 2 February 2021
(No difference)

Fernandes et al 2017a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 461576798 to Fernandes et al 2017a

Scipediacontent: Created page with " == Abstract == The development and deployment of Autonomous Vehicles (AVs) on our roads is not only realistic in the near future but can also bring significant benefits. In..."