Synthesizing and verifying controllers for multi-lane traffic maneuvers. von Bochmann, G., Hilscher, M., Linker, S., & Olderog, E. Formal Asp. Comput., 29(4):583–600, 2017.
![Synthesizing and verifying controllers for multi-lane traffic maneuvers [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex 1 download
Paper doi bibtex 1 download @article{DBLP:journals/fac/BochmannHLO17,
author = {Gregor von Bochmann and
Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog},
title = {Synthesizing and verifying controllers for multi-lane traffic maneuvers},
journal = {Formal Asp. Comput.},
volume = {29},
number = {4},
pages = {583--600},
year = {2017},
url = {https://doi.org/10.1007/s00165-017-0424-4},
doi = {10.1007/s00165-017-0424-4},
timestamp = {Wed, 26 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fac/BochmannHLO17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}Downloads: 1
{"_id":"WtSjcukoGNZ7yKvge","bibbaseid":"vonbochmann-hilscher-linker-olderog-synthesizingandverifyingcontrollersformultilanetrafficmaneuvers-2017","downloads":1,"creationDate":"2018-11-28T15:39:44.316Z","title":"Synthesizing and verifying controllers for multi-lane traffic maneuvers","author_short":["von Bochmann, G.","Hilscher, M.","Linker, S.","Olderog, E."],"year":2017,"bibtype":"article","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gregor"],"propositions":["von"],"lastnames":["Bochmann"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Hilscher"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]},{"firstnames":["Ernst-Rüdiger"],"propositions":[],"lastnames":["Olderog"],"suffixes":[]}],"title":"Synthesizing and verifying controllers for multi-lane traffic maneuvers","journal":"Formal Asp. Comput.","volume":"29","number":"4","pages":"583–600","year":"2017","url":"https://doi.org/10.1007/s00165-017-0424-4","doi":"10.1007/s00165-017-0424-4","timestamp":"Wed, 26 Jul 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/fac/BochmannHLO17","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fac/BochmannHLO17,\n author = {Gregor von Bochmann and\n Martin Hilscher and\n Sven Linker and\n Ernst{-}R{\\\"{u}}diger Olderog},\n title = {Synthesizing and verifying controllers for multi-lane traffic maneuvers},\n journal = {Formal Asp. Comput.},\n volume = {29},\n number = {4},\n pages = {583--600},\n year = {2017},\n url = {https://doi.org/10.1007/s00165-017-0424-4},\n doi = {10.1007/s00165-017-0424-4},\n timestamp = {Wed, 26 Jul 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/fac/BochmannHLO17},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["von Bochmann, G.","Hilscher, M.","Linker, S.","Olderog, E."],"key":"DBLP:journals/fac/BochmannHLO17","id":"DBLP:journals/fac/BochmannHLO17","bibbaseid":"vonbochmann-hilscher-linker-olderog-synthesizingandverifyingcontrollersformultilanetrafficmaneuvers-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/s00165-017-0424-4"},"metadata":{"authorlinks":{"linker, s":"https://cgi.csc.liv.ac.uk/~slk/index.php"}},"downloads":1},"search_terms":["synthesizing","verifying","controllers","multi","lane","traffic","maneuvers","von bochmann","hilscher","linker","olderog"],"keywords":[],"authorIDs":["23NWGnBoADDc5tnSP","2MjC8kJEbSQD9aztz","2zRTB3Q7a8GGkXKR4","3KCd7RKiipJdubnpi","3uwidWcjAbT8uJEsw","452uzYakZSEoegoXT","5MwsGou8LZBojFA7i","5RpyokJoTrxknbFXE","5bfed12b5aef4b10000000f3","5de7ecadc8f9f6df010001e2","5ded2e5a9d5885de01000067","5deffc9f14db5cdf010001cc","5df1f79078da84de010000ec","5df329c63b310cde01000136","5df34cd6d617e5de01000006","5df436ff96bfa7de01000074","5df6740c797ba9de010000f9","5df92a4ed04b27df010000c0","5dfa2a391c2129de010000d6","5dfee5765dd8e7df0100004c","5dfff38389b920de01000015","5e038a36d6cccbdf010000bc","5e03b6d6a94129de01000056","5e07c886ea5f0bdf010000ce","5e0a6c1c3eccf6e00100008c","5e0b71eae73cd6de010000e3","5e0dddd3552b25df0100012a","5e0f0ad7070585df0100006c","5e10d7970192c6df010000e5","5e15fdf1efa1cddf01000228","5e167fef0ba191df01000113","5e16e6185e8bcfdf0100000e","5e1788abcf35a4de010001a4","5e1c5f81e556c6de010001a8","5e1cede5abed9bde010001d0","5e1f6817e8f5ddde0100015d","5e20d1eeb46c27ee0100008f","5e251937b55b9edf0100006a","5e29ca83edf563df01000216","5e2a42432d8494f201000057","5e2dcabf8ceb9adf01000057","5e307e4bcb949bdf01000004","5e31800600e4e5de0100005d","5e34b1cbed2109df01000049","5e34df9762bc74de010000f7","5e36a65e7b975dde01000008","5e373e7e4cbab2df010000f3","5e37e617e8908edf010000a2","5e38e37a81a46ade0100009a","5e3b0cbaba2e16df01000023","5e3c0e0c0c5519de0100004a","5e3c832ffeacaede010000cb","5e3c8b62feacaede01000146","5e3f6074cd8fe2de010000a4","5e4009f817f17dde0100007a","5e436037a37866de01000178","5e440a93547b4cdf010001c8","5e454afba96575df010000be","5e476cda45a735de010000bc","5e48915a6ac344de0100002e","5e4bbfdba6b53fde01000020","5e53513653de8dde010000d9","5e55520de89e5fde01000048","5e56ecf4a8dabede01000423","5e57263a429006de01000215","5e592530e60e02de01000018","5e59b830103b4fde01000055","5e5a569322eebcde010000a3","5e5ccf2daab7afde010000a0","5e5d6c18ad47bcde010001aa","5e5fbbaf19c3fade01000234","5e610ce531c7d3de01000258","5e62abcf08ebcade01000175","5e661a2efa8a45de010001e9","5e664d1aa77c4ade010001c2","5e664f3aa77c4ade010001e2","5e676bd31dcaf4de010001fb","5e685211149172de01000048","5e6af76169285ede0100004f","5kxm2x8Hk3XBD3xxQ","6TCYM7u8ep9neFJai","6qn2c9ScXv9JL3wty","7YDbwR2jepBkdwHjt","7o37SatWSGo57r7LR","7qcHNct8SEjpnbmFH","89ZMSWjcmw6ZjFdmS","8Eydcv5fHEGMAS6nJ","8MrT6QniKe5r9PRy3","8pDE8vS9B7NWEbXTg","8xw4ovXMkxn2QQ2JD","AEH9EqfgiQjgwZTAJ","AQgzDzCKREJFMG7kP","AZ2KWEiXRDAnAji4X","AhGQWcczTf4LNFWug","AkzQLrs3pfuCZkrNJ","Ax42gcYCHMd5Y7xkQ","BB7T8vTpX3tZP6rZZ","BZvsbAz6dZLj9eeEG","BrkBA32xMgmPc4Rco","CGtmuSAWCwkv67Rri","DJofX33ALvdrbndrr","DXEqW7xtEWXzDcWF8","E9MHr3eeZhkxLiirb","EmF8Bxw6ifCXEpsGN","ErF5j2ExyMA4DdJwL","FTnHdnnRz9SBSwRhh","FZnqqo5nueApxpdgm","FwQbt6vyPdimP4uCf","GP4pbPirHfZHwXTgE","HHCMvx7WujcMdaTa4","JH9hSSdimj2aXXxrW","JefeskGruB68mu2vE","JvRq93zvygRpnFK33","K3sS34ZHCDLBWKJka","K7DFrGks6T7iLwgx4","KB4BNbzdLY9TAnBZa","LQi44oAacy49ZcMEP","La86aAFzQZtDtbSub","LdnGo2hc3qX7mWqYR","MzhEh4j5QqFX9yDfy","NgDgnm7jr6STF4FSL","Nn7chGimwThpeQ2wG","PQLSwepQr39dhEWSd","Ptfx8LxTDY22uiDsF","Q43A52QpdhZYMf4ZR","Q9vTP4SXmLXJ2APEH","QJaKjW4C3FA6PNfjS","QNbmhjtfYkBjhcRFN","RfEGPEtGbw7vh2Svq","Ro2kQfLk5hgQjfbug","SFhjLR2BmsC5E58SA","SNmYGrw22tkcD3KNi","SPbKXDfhjzuYmqx9C","TRgsc9FytXfg4PGkF","TtpfHdfrxZaS86euA","Wd74Q8G9RHqgh39tD","WqK4CFt4Hjhm46pRG","WyE4Fz96Lpwp4JWAp","XLNpvYYJGzx5bc5Au","Xmc5s7RHJbdWgwjbG","YRG8EDAFn3t9MYS5d","YYsCK6Rr6NmBjmgL8","YfYscBn3bD9yXa2rg","YxPvyg2TNk387nuD4","ZDfsEDSkueAq9XzfN","ZXRbYG6AbAbi2vt5J","ZufP5aj2pZgoN9cqv","a9sYGcsokHSTRreYq","aniTSARzdeqHukCBf","bbFzLAE5EoPALRbxQ","bd3nXnNMnbCySxnSD","bfsEGMkutDJ8focS4","bmaRHWsFphF49czs3","cafyymyHW4yaXadGE","daXM9SjkBwauwRE45","doDSBehpcbDTz5oRY","dvk9YAQPDJXYh7HCQ","epRTPN7DCr2akJDH3","fHYFX87DobY9NKWFs","g8dZ9uXjvtfKYK6rL","gJquEj3FtZ9ZMsECw","gMtaXpsK5AfHTmdzp","h3F2GE8F9wShdvnQP","hZDE3zbw7u5nqPqJM","i3pJSteRpxQ59Bybv","iXBgBPEYqMFtweXYT","igCdZ7S5x4QXm7zyZ","jSWkW7hdpuoJMj2jy","kLTXJHka2r7MGFPgm","kWZ8GicB24jPR4Yy4","keGp2dxy4R8Ttn8zS","kmGAmMEbGCRht4tB8","m6fYqXYWjJSkQnRdf","mAfTCmtFw974tybHw","mLnAyMwBjMj2mbTy2","mQf72TfqhxRTudk29","mg8vzvigryX7hEv5v","mokXR5XymRRfHfg2R","nLuAk4cZd7qB9vpJ8","njcrjtK2GauhGXxe6","qHtosA5skrqSSTPW7","qrjnLPPnMpJ7tEaNw","qtanewajH3YyiF84q","t4KjbXahY9r6mBSQm","tJioMgFAsZwJTun7m","u9cBgHMzDTaRGXy2R","u9ocAQQ3Bf7FFisp9","uYGnrTyrNY8ShTfi8","v2hkmTde7BAFhp4H3","vcWj7N6K3XNHbY6qx","vkE2hHDa3K2TWuNQ2","wdNJLAzBys7PC97TN","x56rNM6Y9Y89KNfgB","xJ8kGCfW2HzScYce2","xKyQvdEicJznyJEhx","xfaBxPoHPtHZjtvDr","xsTQxbKvjqFzgRDsh","ynRfde8XNJnFR25tg","zmcjWwKfEKxYtT8NT","zoLMhaWBbpBTCaAZS"],"dataSources":["viaGT23rwj7vKvjeq","sf65xF3tXwz6TBuoQ","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend"]}