Parametric real-time reasoning, Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, pp.592-601, 1993. ,
Principles of model checking, 2008. ,
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
Smoothed model checking for uncertain continuous-time markov chains, Information and Computation, vol.247, pp.235-253, 2016. ,
Secure estimation based Kalman Filter for cyber-physical systems against sensor attacks, Automatica, vol.95, pp.399-412, 2018. ,
UAV Attitude Estimation Using Unscented Kalman Filter and TRIAD, IEEE Transactions on Industrial Electronics, vol.59, issue.11, pp.4465-4474, 2012. ,
Statistical model checking for parameterized models, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02021064
A complementary filter for attitude estimation of a fixed-wing UAV, IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.340-345, 2008. ,
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. ,
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. ,
Unmanned aerial vehicles (uavs) and artificial intelligence revolutionizing wildlife monitoring and conservation, Sensors, vol.16, issue.1, p.97, 2016. ,
PARAM : A Model Checker for Parametric Markov Models, Computer Aided Verification, pp.660-664, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00650737
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. ,
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
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
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
Towards Autonomous Modular UAV Missions : The Detection, Geo-Location and Landing Paradigm, Sensors, vol.16, issue.11, p.1844, 2016. ,
Statistical model checking : An overview, Proc. Runtime Verification -First International Conference, RV 2010, St. Julians, Malta, vol.6418, pp.122-135, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00591593
An efficient orientation filter for inertial and inertial / magnetic sensor arrays, 2010. ,
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. ,
Simulation and the Monte Carlo method, vol.10, 2016. ,
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. ,
On statistical model checking of stochastic systems, International Conference on Computer Aided Verification, pp.266-280, 2005. ,
Efficient path planning algorithms in reachavoid problems, Automatica, vol.89, pp.28-36, 2018. ,