@inproceedings{alves_formalisation_2018,
	address = {Oxford, UK},
	title = {Formalisation of the {Rules} of the {Road} for embedding into an {Autonomous} {Vehicle} {Agent}},
	url = {https://sites.google.com/site/wsvavas2018/home/proceedings},
	booktitle = {International {Workshop} on {Verification} and {Validation} of {Autonomous} {Systems}},
	author = {Alves, Gleifer Vaz and Dennis, Louise and Fisher, Michael},
	month = jul,
	year = {2018},
	keywords = {AVIA, agent, autonomous vehicle, formalisation, model checking, rules of the road, traffic laws},
	pages = {1--2},
}

{"_id":"3QDu7TaTgoFxazLQ6","bibbaseid":"alves-dennis-fisher-formalisationoftherulesoftheroadforembeddingintoanautonomousvehicleagent-2018","author_short":["Alves, G. V.","Dennis, L.","Fisher, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Oxford, UK","title":"Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent","url":"https://sites.google.com/site/wsvavas2018/home/proceedings","booktitle":"International Workshop on Verification and Validation of Autonomous Systems","author":[{"propositions":[],"lastnames":["Alves"],"firstnames":["Gleifer","Vaz"],"suffixes":[]},{"propositions":[],"lastnames":["Dennis"],"firstnames":["Louise"],"suffixes":[]},{"propositions":[],"lastnames":["Fisher"],"firstnames":["Michael"],"suffixes":[]}],"month":"July","year":"2018","keywords":"AVIA, agent, autonomous vehicle, formalisation, model checking, rules of the road, traffic laws","pages":"1–2","bibtex":"@inproceedings{alves_formalisation_2018,\n\taddress = {Oxford, UK},\n\ttitle = {Formalisation of the {Rules} of the {Road} for embedding into an {Autonomous} {Vehicle} {Agent}},\n\turl = {https://sites.google.com/site/wsvavas2018/home/proceedings},\n\tbooktitle = {International {Workshop} on {Verification} and {Validation} of {Autonomous} {Systems}},\n\tauthor = {Alves, Gleifer Vaz and Dennis, Louise and Fisher, Michael},\n\tmonth = jul,\n\tyear = {2018},\n\tkeywords = {AVIA, agent, autonomous vehicle, formalisation, model checking, rules of the road, traffic laws},\n\tpages = {1--2},\n}\n\n","author_short":["Alves, G. V.","Dennis, L.","Fisher, M."],"key":"alves_formalisation_2018","id":"alves_formalisation_2018","bibbaseid":"alves-dennis-fisher-formalisationoftherulesoftheroadforembeddingintoanautonomousvehicleagent-2018","role":"author","urls":{"Paper":"https://sites.google.com/site/wsvavas2018/home/proceedings"},"keyword":["AVIA","agent","autonomous vehicle","formalisation","model checking","rules of the road","traffic laws"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/562957/collections/Z768AYPF/items?key=n3Ur7uZ5Qi8KzHFDMlknwy2l&format=bibtex&limit=100","dataSources":["o8So9xjdoX7Po3tE2"],"keywords":["avia","agent","autonomous vehicle","formalisation","model checking","rules of the road","traffic laws"],"search_terms":["formalisation","rules","road","embedding","autonomous","vehicle","agent","alves","dennis","fisher"],"title":"Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent","year":2018}