Anton Zita

Showing 1 publications

2017

Application of Formal Verification to the Lane Change Module of an Autonomous Vehicle

Anton Zita, Sahar Mohajerani, Martin Fabian
13th IEEE Conference on Automation Science and Engineering August 20-23,Xi'an, China, 2017
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Anton Zita participates, but you have to be logged in as a Chalmers employee to see them.