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/Report/Conference proceedingConference contributionpeer-review

Original languageUndefined
Title of host publicationElectronic Proceedings in Theoretical Computer Science, EPTCS
DOIs
Publication statusPublished - 18 Sept 2017

Cite this