{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:09:09Z","timestamp":1743127749135,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030217587"},{"type":"electronic","value":"9783030217594"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-21759-4_4","type":"book-chapter","created":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T23:30:20Z","timestamp":1559518220000},"page":"57-74","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Parametric Statistical Model Checking of UAV Flight Plan"],"prefix":"10.1007","author":[{"given":"Ran","family":"Bao","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7815-1752","authenticated-orcid":false,"given":"Christian","family":"Attiogbe","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9104-4361","authenticated-orcid":false,"given":"Beno\u00eet","family":"Delahaye","sequence":"additional","affiliation":[]},{"given":"Paulin","family":"Fournier","sequence":"additional","affiliation":[]},{"given":"Didier","family":"Lime","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,29]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","unstructured":"Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, 16\u201318 May 1993, San Diego, CA, USA. pp. 592\u2013601 (1993). https:\/\/doi.org\/10.1145\/167088.167242","DOI":"10.1145\/167088.167242"},{"key":"4_CR2","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-28756-5_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B Barbot","year":"2012","unstructured":"Barbot, B., Haddad, S., Picaronny, C.: Coupling and importance sampling for statistical model checking. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 331\u2013346. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28756-5_23"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.ic.2016.01.004","volume":"247","author":"L Bortolussi","year":"2016","unstructured":"Bortolussi, L., Milios, D., Sanguinetti, G.: Smoothed model checking for uncertain Continuous-Time Markov Chains. Inf. Comput. 247, 235\u2013253 (2016)","journal-title":"Inf. Comput."},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/j.automatica.2018.06.010","volume":"95","author":"YH Chang","year":"2018","unstructured":"Chang, Y.H., Hu, Q., Tomlin, C.J.: Secure estimation based Kalman Filter forcyber-physical systems against sensor attacks. Automatica 95, 399\u2013412 (2018). https:\/\/doi.org\/10.1016\/j.automatica.2018.06.010","journal-title":"Automatica"},{"issue":"11","key":"4_CR6","doi-asserted-by":"publisher","first-page":"4465","DOI":"10.1109\/TIE.2011.2163913","volume":"59","author":"HG de Marina","year":"2012","unstructured":"de Marina, H.G., Pereda, F.J., Giron-Sierra, J.M., Espinosa, F.: UAV attitude estimation using unscented Kalman Filter and TRIAD. IEEE Trans. Ind. Electron. 59(11), 4465\u20134474 (2012). https:\/\/doi.org\/10.1109\/TIE.2011.2163913","journal-title":"IEEE Trans. Ind. Electron."},{"key":"4_CR7","unstructured":"Delahaye, B., Fournier, P., Lime, D.: Statistical model checking for parameterized models, February 2019. https:\/\/hal.archives-ouvertes.fr\/hal-02021064, working paper or preprint"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Euston, M., Coote, P., Mahony, R., Kim, J., Hamel, T.: A complementary filter for attitude estimation of a fixed-wing UAV. In: 2008 IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 340\u2013345, September 2008. https:\/\/doi.org\/10.1109\/IROS.2008.4650766","DOI":"10.1109\/IROS.2008.4650766"},{"issue":"8","key":"4_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.3182\/20090630-4-ES-2003.00012","volume":"42","author":"A. Freddi","year":"2009","unstructured":"Freddi, A., Longhi, S., Monteri\u00f9, A.: A model-based fault diagnosis system for unmanned aerial vehicles. IFAC Proc. 42(8), 71\u201376 (2009). https:\/\/doi.org\/10.3182\/20090630-4-ES-2003.00012, http:\/\/www.sciencedirect.com\/science\/article\/pii\/S147466701635755X. 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes","journal-title":"IFAC Proceedings Volumes"},{"key":"4_CR10","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-319-54042-9_31","volume-title":"Automation 2017","author":"P Ga\u0327sior","year":"2017","unstructured":"Ga\u0327sior, P., Bondyra, A., Gardecki, S.: Development of vertical movement controller for multirotor UAVs. In: Szewczyk, R., Zieli\u0144ski, C., Kaliczy\u0144ska, M. (eds.) ICA 2017. AISC, vol. 550, pp. 339\u2013348. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-54042-9_31"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.3390\/s16010097","volume":"16","author":"Luis Gonzalez","year":"2016","unstructured":"Gonzalez, L.F., Montes, G.A., Puig, E., Johnson, S., Mengersen, K.L., Gaston,K.J.: Unmanned aerial vehicles (UAVs) and artificial intelligencerevolutionizing wildlife monitoring and conservation. Sensors 16(1), 97 (2016). https:\/\/doi.org\/10.3390\/s16010097","journal-title":"Sensors"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1007\/978-3-642-14295-6_56","volume-title":"Computer Aided Verification","author":"EM Hahn","year":"2010","unstructured":"Hahn, E.M., Hermanns, H., Wachter, B., Zhang, L.: PARAM: a model checker for parametric Markov models. In: Touili, T., Cook, B., Jackson, P. (eds.) Computer Aided Verification, pp. 660\u2013664. Springer, Berlin Heidelberg, Berlin, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14295-6_56"},{"issue":"9","key":"4_CR13","doi-asserted-by":"publisher","first-page":"7566","DOI":"10.3390\/s90907566","volume":"9","author":"Guillermo Heredia","year":"2009","unstructured":"Heredia, G., Caballero, F., Maza, I., Merino, L., Viguria, A., Ollero, A.: Multi-unmanned aerial vehicle (UAV) cooperative fault detection employing differential global positioning (DGPS), inertial and vision sensors. Sensors 9(9), 7566\u20137579 (2009). https:\/\/doi.org\/10.3390\/s90907566","journal-title":"Sensors"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-31424-7_26","volume-title":"Computer Aided Verification","author":"C Jegourel","year":"2012","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: Cross-entropy optimisation of importance sampling parameters for statistical model checking. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 327\u2013342. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31424-7_26"},{"issue":"4","key":"4_CR15","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1530873.1530882","volume":"36","author":"M Kwiatkowska","year":"2009","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 40\u201345 (2009)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"issue":"11","key":"4_CR17","doi-asserted-by":"publisher","first-page":"1844","DOI":"10.3390\/s16111844","volume":"16","author":"Sarantis Kyristsis","year":"2016","unstructured":"Kyristsis, S., et al.: Towards autonomous modular UAV missions: the detection, geo-location and landing paradigm. Sensors16(11), 1844 (2016). https:\/\/doi.org\/10.3390\/s16111844","journal-title":"Sensors"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_11"},{"key":"4_CR19","unstructured":"Madgwick, S.O.H.: An efficient orientation filter for inertial and inertial\/magnetic sensor arrays (2010)"},{"issue":"7","key":"4_CR20","doi-asserted-by":"publisher","first-page":"14887","DOI":"10.3390\/s150714887","volume":"15","author":"Kopp\u00e1ny M\u00e1th\u00e9","year":"2015","unstructured":"M\u00e1th\u00e9, K., Busoniu, L.: Vision and control for UAVs: a survey of general methods and of inexpensive platforms for infrastructure inspection. Sensors 15(7), 14887\u201314916 (2015). https:\/\/doi.org\/10.3390\/s150714887","journal-title":"Sensors"},{"key":"4_CR21","doi-asserted-by":"publisher","DOI":"10.1002\/9781118631980","volume-title":"Simulation and the Monte Carlo Method","author":"RY Rubinstein","year":"2016","unstructured":"Rubinstein, R.Y., Kroese, D.P.: Simulation and the Monte Carlo Method, vol. 10. Wiley, Hoboken (2016)"},{"issue":"3","key":"4_CR22","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1109\/TIM.2012.2218692","volume":"62","author":"Simone Sabatelli","year":"2013","unstructured":"Sabatelli, S., Galgani, M., Fanucci, L., Rocchi, A.: A double-stage Kalman filter for orientation tracking with an integrated processor in 9-DIMU. IEEE Trans. Instrum. Meas. 62(3), 590\u2013598 (2013). https:\/\/doi.org\/10.1109\/TIM.2012.2218692","journal-title":"IEEE Transactions on Instrumentation and Measurement"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11513988_26","volume-title":"Computer Aided Verification","author":"K Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 266\u2013280. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11513988_26"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.automatica.2017.11.035","volume":"89","author":"Z Zhou","year":"2018","unstructured":"Zhou, Z., Ding, J., Huang, H., Takei, R., Tomlin, C.: Efficient path planning algorithms in reach-avoid problems. Automatica 89, 28\u201336 (2018). https:\/\/doi.org\/10.1016\/j.automatica.2017.11.035","journal-title":"Automatica"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21759-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T00:03:18Z","timestamp":1685750598000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-21759-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030217587","9783030217594"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21759-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Copenhagen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"39","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2019\/forte","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":"42","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":"15","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":"3","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":"36% - 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.1","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":"5","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)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}