@inproceedings{KamaliLF:FTSCS18,
  author    = {Maryam Kamali and Sven Linker and Michael Fisher},
  title     = "{Modular Verification of Vehicle Platooning with Respect to Decisions,
               Space and Time}",
  booktitle = {Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)},
  year      = {2018},
  url       = {http://arxiv.org/abs/1804.06647},
  note = {[<span class="fs">FAIR-SPACE</span>,<span class="s4">S4</span>,<span class="va">Verifiable Autonomy</span>]}
}

{"_id":"NJKnEnzjC9yohjgBs","bibbaseid":"kamali-linker-fisher-modularverificationofvehicleplatooningwithrespecttodecisionsspaceandtime-2018","downloads":0,"creationDate":"2018-09-03T10:39:11.684Z","title":"Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time","author_short":["Kamali, M.","Linker, S.","Fisher, M."],"year":2018,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Maryam"],"propositions":[],"lastnames":["Kamali"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"title":"Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time","booktitle":"Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)","year":"2018","url":"http://arxiv.org/abs/1804.06647","note":"[<span class=\"fs\">FAIR-SPACE</span>,<span class=\"s4\">S4</span>,<span class=\"va\">Verifiable Autonomy</span>]","bibtex":"@inproceedings{KamaliLF:FTSCS18,\n author = {Maryam Kamali and Sven Linker and Michael Fisher},\n title = \"{Modular Verification of Vehicle Platooning with Respect to Decisions,\n Space and Time}\",\n booktitle = {Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)},\n year = {2018},\n url = {http://arxiv.org/abs/1804.06647},\n note = {[<span class=\"fs\">FAIR-SPACE</span>,<span class=\"s4\">S4</span>,<span class=\"va\">Verifiable Autonomy</span>]}\n}\n\n","author_short":["Kamali, M.","Linker, S.","Fisher, M."],"key":"KamaliLF:FTSCS18","id":"KamaliLF:FTSCS18","bibbaseid":"kamali-linker-fisher-modularverificationofvehicleplatooningwithrespecttodecisionsspaceandtime-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1804.06647"},"metadata":{"authorlinks":{"linker, s":"https://cgi.csc.liv.ac.uk/~slk/"}},"downloads":0},"search_terms":["modular","verification","vehicle","platooning","respect","decisions","space","time","kamali","linker","fisher"],"keywords":[],"authorIDs":["DJofX33ALvdrbndrr"],"dataSources":["sf65xF3tXwz6TBuoQ","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend","viaGT23rwj7vKvjeq"]}