{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:12:34Z","timestamp":1743088354505,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030921361"},{"type":"electronic","value":"9783030921378"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-92137-8_2","type":"book-chapter","created":{"date-parts":[[2021,11,30]],"date-time":"2021-11-30T17:38:55Z","timestamp":1638293935000},"page":"17-33","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Statistical Model Checking for Traffic Models"],"prefix":"10.1007","author":[{"given":"B.","family":"Thamilselvam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Subrahmanyam","family":"Kalyanasundaram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shubham","family":"Parmar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. V.","family":"Panduranga Rao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,26]]},"reference":[{"unstructured":"MultiVeStA. https:\/\/github.com\/andrea-vandin\/MultiVeStA\/wiki\/. Accessed 28 Sept 2021","key":"2_CR1"},{"unstructured":"Simulation of Urban MObility. https:\/\/www.eclipse.org\/sumo\/. Accessed 06 Aug 2021","key":"2_CR2"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. (TOMACS) 28(1), 6 (2018)","journal-title":"ACM Trans. Model. Comput. Simul. (TOMACS)"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.entcs.2005.10.040","volume":"153","author":"GA Agha","year":"2006","unstructured":"Agha, G.A., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. Electron. Notes Theor. Comput. Sci. 153(2), 213\u2013239 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"314","DOI":"10.3390\/smartcities4010019","volume":"4","author":"HU Ahmed","year":"2021","unstructured":"Ahmed, H.U., Huang, Y., Lu, P.: A review of car-following models and modeling tools for human and autonomous-ready driving behaviors in micro-simulation. Smart Cities 4(1), 314\u2013335 (2021)","journal-title":"Smart Cities"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-22944-2_28","volume-title":"Algebra and Coalgebra in Computer Science","author":"M AlTurki","year":"2011","unstructured":"AlTurki, M., Meseguer, J.: PVeStA: a parallel statistical model checking and quantitative analysis tool. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 386\u2013392. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22944-2_28"},{"key":"2_CR7","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Boston (2008)"},{"unstructured":"Erdmann, J.: Lane-changing model in SUMO. In: Proceedings of the SUMO 2014 Modeling Mobility with Open Data, vol. 24, May 2014","key":"2_CR8"},{"key":"2_CR9","series-title":"Lecture Notes in Mobility","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-319-15024-6_7","volume-title":"Modeling Mobility with Open Data","author":"J Erdmann","year":"2015","unstructured":"Erdmann, J.: SUMO\u2019s lane-changing model. In: Behrisch, M., Weber, M. (eds.) Modeling Mobility with Open Data. LNM, pp. 105\u2013123. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15024-6_7"},{"doi-asserted-by":"crossref","unstructured":"Kanagaraj, V., Asaithambi, G., Kumar, C.N., Srinivasan, K.K., Sivanandan, R.: Evaluation of different vehicle following models under mixed traffic conditions. Proc. Soc. Behav. Sci. 104, 390\u2013401 (2013). 2nd Conference of Transportation Research Group of India (2nd CTRG)","key":"2_CR10","DOI":"10.1016\/j.sbspro.2013.11.132"},{"issue":"5","key":"2_CR11","doi-asserted-by":"publisher","first-page":"5597","DOI":"10.1103\/PhysRevE.55.5597","volume":"55","author":"S Krau\u00df","year":"1997","unstructured":"Krau\u00df, S., Wagner, P., Gawron, C.: Metastable states in a microscopic model of traffic flow. Phys. Rev. E 55(5), 5597 (1997)","journal-title":"Phys. Rev. E"},{"doi-asserted-by":"crossref","unstructured":"Lopez, P.A., et al.: Microscopic traffic simulation using sumo. In: The 21st IEEE International Conference on Intelligent Transportation Systems. IEEE, November 2018","key":"2_CR12","DOI":"10.1109\/ITSC.2018.8569938"},{"unstructured":"Mintsis, E., et al.: TransAID deliverable 3.1 - modelling, simulation and assessment of vehicle automations and automated vehicles\u2019 driver behaviour in mixed traffic, September 2019","key":"2_CR13"},{"unstructured":"Nimal, V.: Statistical approaches for probabilistic model checking. Ph.D. thesis, University of Oxford (2010)","key":"2_CR14"},{"unstructured":"Olstam, J., Tapani, A.: Comparison of car-following models. In: VTI meddelande 960A (2004)","key":"2_CR15"},{"doi-asserted-by":"crossref","unstructured":"Pourabdollah, M., Bj\u00e4rkvik, E., F\u00fcrer, F., Lindenberg, B., Burgdorf, K.: Calibration and evaluation of car following models using real-world driving data. In: 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), pp. 1\u20136 (2017)","key":"2_CR16","DOI":"10.1109\/ITSC.2017.8317836"},{"unstructured":"Sebastio, S., Vandin, A.: Multivesta: statistical model checking for discrete event simulators. In: Horv\u00e1th, A., Buchholz, P., Cortellessa, V., Muscariello, L., Squillante, M.S. (eds.) 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2013, pp. 310\u2013315. ICST\/ACM (2013)","key":"2_CR17"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-27813-9_16","volume-title":"Computer Aided Verification","author":"K Sen","year":"2004","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 202\u2013215. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27813-9_16"},{"doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.A.: VESTA: a statistical model-checker and analyzer for probabilistic systems. In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19\u201322 September 2005, Torino, Italy, pp. 251\u2013252. IEEE Computer Society (2005)","key":"2_CR19","DOI":"10.1109\/QEST.2005.42"},{"doi-asserted-by":"crossref","unstructured":"Thamilselvam, B., Kalyanasundaram, S., Rao, M.V.P.: Scalable coordinated intelligent traffic light controller for heterogeneous traffic scenarios using UPPAAL STRATEGO. In: 2021 International Conference on COMmunication Systems NETworkS (COMSNETS), pp. 404\u2013412 (2021)","key":"2_CR20","DOI":"10.1109\/COMSNETS51098.2021.9352946"},{"issue":"2","key":"2_CR21","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1103\/PhysRevE.62.1805","volume":"62","author":"M Treiber","year":"2000","unstructured":"Treiber, M., Hennecke, A., Helbing, D.: Congested traffic states in empirical observations and microscopic simulations. Phys. Rev. E 62(2), 1805 (2000)","journal-title":"Phys. Rev. E"},{"unstructured":"Wiedemann, R.: Simulation des strassenverkehrsflusses. Institut fur Verkehrswesen der Universitat Karlsruhe (1994)","key":"2_CR22"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-24730-2_4","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"HLS Younes","year":"2004","unstructured":"Younes, H.L.S., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking: an empirical study. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 46\u201360. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24730-2_4"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Computer Aided Verification","author":"HLS Younes","year":"2002","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 223\u2013235. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_17"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-92137-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T09:18:46Z","timestamp":1726219126000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-92137-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030921361","9783030921378"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-92137-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"26 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/computacao.ufcg.edu.br\/sbmf2021\/home","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"53% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}