A rational agent controlling an autonomous vehicle: Implementation and formal verification

L.E.R. Fernandes, V. Custodio, G.V. Alves, M. Fisher

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	Undefined
Title of host publication	Electronic Proceedings in Theoretical Computer Science, EPTCS
DOIs	https://doi.org/10.4204/EPTCS.257.5
Publication status	Published - 18 Sept 2017

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

@inproceedings{f8ed4d93854e455ea161d28cb9c760bb,

title = "A rational agent controlling an autonomous vehicle: Implementation and formal verification",

author = "L.E.R. Fernandes and V. Custodio and G.V. Alves and M. Fisher",

year = "2017",

month = sep,

day = "18",

doi = "10.4204/EPTCS.257.5",

language = "Undefined",

booktitle = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

}

TY - GEN

T1 - A rational agent controlling an autonomous vehicle: Implementation and formal verification

AU - Fernandes, L.E.R.

AU - Custodio, V.

AU - Alves, G.V.

AU - Fisher, M.

PY - 2017/9/18

Y1 - 2017/9/18

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-85030101519&partnerID=MN8TOARS

U2 - 10.4204/EPTCS.257.5

DO - 10.4204/EPTCS.257.5

M3 - Conference contribution

BT - Electronic Proceedings in Theoretical Computer Science, EPTCS

ER -