Classical game theory is an important field with a long tradition of useful results. Recently,
the quantum versions of classical games, such as the prisoner's dilemma (PD), have …

Quantum computing is concerned with computer technology based on the principles of
quantum mechanics, with operations performed at the quantum level. Quantum …

We study quantum finite automata with control language (qfcs), a theoretical model for finite
memory hybrid systems coupling a classical computational framework with a quantum …

In recent years, the modeling interest has increased significantly from molecular level to
atomic and quantum levels. Computational chemistry plays a significant role in designing …

In this paper, we introduce the concept of non-deterministic tree automata based on
quantum-valued logic whose underlying structure is a complete orthomodular lattice. First …

Linear temporal logic is a widely used method for verification of model checking and
expressing the system specifications. The relationship between theory of automata and logic …

Intuitively, a few works described the contents in connection with the journey but now
outside the radius of the demon's journey. Although the work is as detailed as possible …

Recently, the use of mathematical methods and computer science applications have got
significant response among biochemists and biologists to modeling the biological systems …

Classic game theory is an important field with a long tradition of useful results. Recently, the
quantum versions of classical games, such as the Prisoner's Dilemma (PD), have attracted a …

Quantum finite automata (QFAs) have been extensively studied in the literature. In this
paper, we define and systematically study quantum Büchi automata (QBAs) over infinite …