Due to recent advancements in quantum drones, the Internet of Quantum Drones (IoQDs),
and Drone-to-Satellite connectivity, several advantages have been anticipated for real-time …

In this survey paper, we describe a framework for assertion-based verification of quantum
circuits by applying model checking techniques for quantum systems developed in our …

Verifying quantum systems has attracted a lot of interests in the last decades. In this paper,
we initialised the model checking of quantum continuous-time Markov chain (QCTMC). As a …

Quantum walks are the quantum corresponding version of classical random walks, providing
polynomial and even exponential acceleration for some classical difficult problems. In recent …

This book presents new and prospective approaches to quantum computing. It introduces
the many possibilities to further develop the mathematical methods of quantum computation …

In the era of big data, traditional regression models cannot deal with uncertain big data
efficiently and accurately. In order to make up for this deficiency, this paper proposes a …

In this NEASQC deliverable, we present an overview of state-of-the-art approximation-like
quantum algorithms for solving probabilistic safety assessment problems. Classical …

In this work, we present a quantum walks based approach for Probabilistic Safety
Assessment problems in the dynamic Markovian framework. After presenting well known …

The main objective of this report is to understand the main factors that may help to solve fault
tree analysis problems using quantum algorithms. It turns out that fault tree analysis can be …