Browsing Theses & Dissertations by Subject "Labelled Transition System Analyser"

Navigation

Display Options

Results

  • Wathugala, Wathugala Gamage Dulan Manujinda (University of Oregon, 2017-06)
    Ensuring algorithms work accurately is crucial, especially when they drive safety critical systems like self-driving cars. We formally model a published distributed algorithm for autonomous vehicles to collaborate and ...

Search Scholars' Bank


Advanced Search

Browse

My Account