Anton Zita

Showing 1 publications


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:

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.