Accelerating Finite State Machine-Based Testing Using Reinforcement Learning-Reference-Cited by-同舟云学术

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning

Author:

Türker Uraz Cengiz¹^ORCID,Hierons Robert M.²^ORCID,El-Fakih Khaled³^ORCID,Mousavi Mohammad Reza⁴^ORCID,Tyukin Ivan Y.⁵^ORCID

Affiliation:

1. School of Computing and Communications, Lancaster University, Lancaster, U.K.

2. Department of Computer Science, The University of Sheffield, Sheffield, U.K.

3. Department of Computer Science and Engineering, American University of Sharjah, University City, UAE

4. Department of Informatics, King’s College London, London, U.K.

5. Department of Mathematics, King’s College London, London, U.K.

Funder

UKRI Trustworthy Autonomous Systems Node in Verifiability

EPSRC: RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots

Security Lancaster

AUS

EPSRC project on Verified Simulation for Large Quantum Systems

EPSRC project on Robust and Reliable Quantum Computing (RoaRQ), Investigation 009 Model-based monitoring and calibration of quantum computations

King’s College London

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Link

Reference86 articles.