R. Alur, T. A. Henzinger, and M. Y. Vardi, Parametric real-time reasoning, Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, pp.592-601, 1993.


C. Baier and J. Katoen, Principles of model checking, 2008.

B. Barbot, S. Haddad, and C. Picaronny, Coupling and importance sampling for statistical model checking, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.331-346, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00776795

L. Bortolussi, D. Milios, and G. Sanguinetti, Smoothed model checking for uncertain continuous-time markov chains, Information and Computation, vol.247, pp.235-253, 2016.

Y. H. Chang, Q. Hu, and C. J. Tomlin, Secure estimation based Kalman Filter for cyber-physical systems against sensor attacks, Automatica, vol.95, pp.399-412, 2018.


H. G. De-marina, F. J. Pereda, J. M. Giron-sierra, and F. Espinosa, UAV Attitude Estimation Using Unscented Kalman Filter and TRIAD, IEEE Transactions on Industrial Electronics, vol.59, issue.11, pp.4465-4474, 2012.


B. Delahaye, P. Fournier, and D. Lime, Statistical model checking for parameterized models, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02021064

M. Euston, P. Coote, R. Mahony, J. Kim, and T. Hamel, A complementary filter for attitude estimation of a fixed-wing UAV, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.340-345, 2008.

A. Freddi, S. Longhi, and A. Monteri, A model-based fault diagnosis system for unmanned aerial vehicles, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, vol.42, pp.71-76, 2009.

P. Gasior, A. Bondyra, and S. Gardecki, Development of Vertical Movement Controller for Multirotor UAVs, Automation 2017 -Innovations in Automation, Robotics and Measurement Techniques, Proceedings of AUTOMATION 2017, vol.550, pp.339-348, 2017.

L. F. Gonzalez, G. A. Montes, E. Puig, S. Johnson, K. L. Mengersen et al., Unmanned aerial vehicles (uavs) and artificial intelligence revolutionizing wildlife monitoring and conservation, Sensors, vol.16, issue.1, p.97, 2016.

E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang, PARAM: A Model Checker for Parametric Markov Models, Computer Aided Verification, pp.660-664, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00650737

G. Heredia, F. Caballero, I. Maza, L. Merino, A. Viguria et al., Multi-Unmanned Aerial Vehicle (UAV) Cooperative Fault Detection Employing Differential Global Positioning (DGPS), Inertial and Vision Sensors, Sensors, vol.9, issue.9, pp.7566-7579, 2009.

C. Jegourel, A. Legay, and S. Sedwards, Cross-entropy optimisation of importance sampling parameters for statistical model checking, International Conference on Computer Aided Verification, pp.327-342, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01087341

M. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic Model Checking for Performance and Reliability Analysis, ACM SIGMETRICS Performance Evaluation Review, vol.36, issue.4, pp.40-45, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00457906

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of probabilistic real-time systems, Proc. 23rd International Conference on Computer Aided Verification (CAV'11), vol.6806, pp.585-591, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648035

S. Kyristsis, A. Antonopoulos, T. Chanialakis, E. Stefanakis, C. Linardos et al., Towards Autonomous Modular UAV Missions: The Detection, Geo-Location and Landing Paradigm, Sensors, vol.16, issue.11, p.1844, 2016.

A. Legay, B. Delahaye, and S. Bensalem, Statistical model checking: An overview, Proc. Runtime Verification -First International Conference, RV 2010, St. Julians, vol.6418, pp.122-135, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00591593

S. O. Madgwick, An efficient orientation filter for inertial and inertial / magnetic sensor arrays, 2010.

K. Máthé and L. Busoniu, Vision and Control for UAVs: A Survey of General Methods and of Inexpensive Platforms for Infrastructure Inspection, Sensors, vol.15, issue.7, pp.14887-14916, 2015.

R. Y. Rubinstein and D. P. Kroese, Simulation and the Monte Carlo method, vol.10, 2016.

S. Sabatelli, M. Galgani, L. Fanucci, and A. Rocchi, A Double-Stage Kalman Filter for Orientation Tracking With an Integrated Processor in 9-D IMU, IEEE Transactions on Instrumentation and Measurement, vol.62, issue.3, pp.590-598, 2013.

K. Sen, M. Viswanathan, and G. Agha, On statistical model checking of stochastic systems, International Conference on Computer Aided Verification, pp.266-280, 2005.

Z. Zhou, J. Ding, H. Huang, R. Takei, and C. Tomlin, Efficient path planning algorithms in reach-avoid problems, Automatica, vol.89, pp.28-36, 2018.