@article{DBLP:journals/jfr/JohnsonHKC17,
  author       = {Benjamin Johnson and
                  Frank Havlak and
                  Hadas Kress{-}Gazit and
                  Mark E. Campbell},
  title        = {Experimental Evaluation and Formal Analysis of High-Level Tasks with
                  Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle},
  journal      = {J. Field Robotics},
  volume       = {34},
  number       = {5},
  pages        = {897--911},
  year         = {2017},
  url          = {https://doi.org/10.1002/rob.21695},
  doi          = {10.1002/ROB.21695},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfr/JohnsonHKC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oRxij8L54zutfPdph","bibbaseid":"johnson-havlak-kressgazit-campbell-experimentalevaluationandformalanalysisofhighleveltaskswithdynamicobstacleanticipationonafullsizedautonomousvehicle-2017","author_short":["Johnson, B.","Havlak, F.","Kress-Gazit, H.","Campbell, M. E."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Johnson"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Havlak"],"suffixes":[]},{"firstnames":["Hadas"],"propositions":[],"lastnames":["Kress-Gazit"],"suffixes":[]},{"firstnames":["Mark","E."],"propositions":[],"lastnames":["Campbell"],"suffixes":[]}],"title":"Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle","journal":"J. Field Robotics","volume":"34","number":"5","pages":"897–911","year":"2017","url":"https://doi.org/10.1002/rob.21695","doi":"10.1002/ROB.21695","timestamp":"Mon, 03 Mar 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/jfr/JohnsonHKC17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jfr/JohnsonHKC17,\n author = {Benjamin Johnson and\n Frank Havlak and\n Hadas Kress{-}Gazit and\n Mark E. Campbell},\n title = {Experimental Evaluation and Formal Analysis of High-Level Tasks with\n Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle},\n journal = {J. Field Robotics},\n volume = {34},\n number = {5},\n pages = {897--911},\n year = {2017},\n url = {https://doi.org/10.1002/rob.21695},\n doi = {10.1002/ROB.21695},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/jfr/JohnsonHKC17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Johnson, B.","Havlak, F.","Kress-Gazit, H.","Campbell, M. E."],"key":"DBLP:journals/jfr/JohnsonHKC17","id":"DBLP:journals/jfr/JohnsonHKC17","bibbaseid":"johnson-havlak-kressgazit-campbell-experimentalevaluationandformalanalysisofhighleveltaskswithdynamicobstacleanticipationonafullsizedautonomousvehicle-2017","role":"author","urls":{"Paper":"https://doi.org/10.1002/rob.21695"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/36/4385.bib","dataSources":["DtMtyfcGfRzFeLRYZ"],"keywords":[],"search_terms":["experimental","evaluation","formal","analysis","high","level","tasks","dynamic","obstacle","anticipation","full","sized","autonomous","vehicle","johnson","havlak","kress-gazit","campbell"],"title":"Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle","year":2017}