{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:15:11Z","timestamp":1725902111385},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319624099"},{"type":"electronic","value":"9783319624105"}],"license":[{"start":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T00:00:00Z","timestamp":1498003200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-62410-5_21","type":"book-chapter","created":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T04:23:02Z","timestamp":1497932582000},"page":"173-180","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and checking robustness of communicating autonomous vehicles"],"prefix":"10.1007","author":[{"given":"Johan","family":"Arcile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond","family":"Devillers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Witold","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo\u017cena","family":"Wo\u017ana-Szcze\u015bniak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,21]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"1. R. Alur, C. Courcoubetis, and D. Dill. Model checking in dense real-time. Information and Computation, 104(1):2\u201334, 1993.","DOI":"10.1006\/inco.1993.1024"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"2. R. Alur and D. Dill. Automata for modelling real-time systems. In Proceedings of the International Colloquium on Automata, Languages and Programming (ICALP\u201990), volume 443 of LNCS, pages 322\u2013335. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0032042"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"3. James M. Anderson, Nidhi Kalra, Karlyn Stanley, Paul Sorensen, Constantine Samaras, and Oluwatobi Oluwatola. Autonomous Vehicle Technology. A Guide for Policymakers. Research Reports. RAND Corporation, 2016. ISBN: 978-0-8330-8398-2.","DOI":"10.7249\/RR443-2"},{"key":"21_CR4","unstructured":"4. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999."},{"key":"21_CR5","unstructured":"5. Google Car official website. https:\/\/www.google.com\/selfdrivingcar\/ , 2016."},{"key":"21_CR6","unstructured":"6. Bertha Benz Drive. http:\/\/vra-net.eu\/wiki\/index.php?title=Bertha_Benz_Drive , 2015."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"7. Mathew O\u2019Kelly, Houssam Abbas, Sicun Gao, Shin\u2019ichi Shiraishi, Shinpei Kato, and Rahul Mangharam. Apex: Autonomous vehicle plan and execution. Technical report, University of Pennsylvania, also in SAE World Congress, April 2016, 2016.","DOI":"10.4271\/2016-01-0019"},{"key":"21_CR8","unstructured":"8. Uppaal. http:\/\/www.uppaal.org\/ , 2016."},{"key":"21_CR9","unstructured":"9. VISLAB Car official website. http:\/\/vislab.it\/automotive\/ , 2015."},{"key":"21_CR10","unstructured":"10. M. Wooldridge. An introduction to multi-agent systems - Second Edition. John Wiley & Sons, 2009."}],"container-title":["Advances in Intelligent Systems and Computing","Distributed Computing and Artificial Intelligence, 14th International Conference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62410-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,29]],"date-time":"2022-07-29T21:37:11Z","timestamp":1659130631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-62410-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,21]]},"ISBN":["9783319624099","9783319624105"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62410-5_21","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,6,21]]}}}