%0 Conference Paper %1 conf/ivs/MinnerupK16 %A Minnerup, Pascal %A Knoll, Alois C. %B Intelligent Vehicles Symposium %D 2016 %I IEEE %K dblp %P 1248-1253 %T Temporal logic for finding undesired behaviors of autonomous vehicles in a state space explored by dynamic analysis. %U http://dblp.uni-trier.de/db/conf/ivs/ivs2016.html#MinnerupK16 %@ 978-1-5090-1821-5

@inproceedings{conf/ivs/MinnerupK16, added-at = {2021-05-19T00:00:00.000+0200}, author = {Minnerup, Pascal and Knoll, Alois C.}, biburl = {https://www.bibsonomy.org/bibtex/2790af2772eac4eae66289b874e835c5b/dblp}, booktitle = {Intelligent Vehicles Symposium}, crossref = {conf/ivs/2016}, ee = {https://doi.org/10.1109/IVS.2016.7535550}, interhash = {472f5a4ad6b0d0042e858c5bebe37224}, intrahash = {790af2772eac4eae66289b874e835c5b}, isbn = {978-1-5090-1821-5}, keywords = {dblp}, pages = {1248-1253}, publisher = {IEEE}, timestamp = {2024-04-10T08:58:28.000+0200}, title = {Temporal logic for finding undesired behaviors of autonomous vehicles in a state space explored by dynamic analysis.}, url = {http://dblp.uni-trier.de/db/conf/ivs/ivs2016.html#MinnerupK16}, year = 2016 }