Application of reinforcement learning algorithms to software verification

Keywords

Computer science, Reinforcement learning, Artificial intelligence, Algorithm, Software

References

• Approximating Continuous Markov ProcessesJosée Desharnais, Radha Jagadeesan, Vineet Gupta — 2000
• Approximating Optimal Policies for Partially Observable Stochastic DomainsRonald Parr, Stuart Russell — 1995
• Bisimulation through Probabilistic TestingKim G. Larsen, Arne Skou — 1991
• Learning Automata: An IntroductionKumpati S. Narendra, Mandayam A. L. Thathachar — 1989
• Temporal credit assignment in reinforcement learningRichard S. Sutton — 1984
• Lokal Model Checking GamesColin Stirling — 1995
• A logical characterization of bisimulation for labeled Markov processesJosée Desharnais, Abbas Edalat, Prakash Panangaden — 1998
• Algebraic laws for nondeterminism and concurrencyMatthew Hennessy, Robin Milner — 1985
• Learning from delayed rewardsBen Kröse — 1995
• Reactive, generative, and stratified models of probabilistic processesRob van Glabbeek, Scott A. Smolka, Bernhard Steffen — 1990
• Acting Optimally in Partially Observable Stochastic DomainsAnthony R. Cassandra, Leslie Pack Kaelbling, Michael L. Littman — 1994
• Improving Elevator Performance Using Reinforcement LearningRobert H. Crites, Andrew G. Barto — 1995
• A structural approach to operational semanticsGordon Plotkin — 2004
• Markov Decision Processes: Discrete Stochastic Dynamic ProgrammingKasra Hazeghi, Martin L. Puterman — 1994
• Reinforcement Learning: An IntroductionSutton, Richard S, Barto, Andrew G — 1998
• High-Performance Job-Shop Scheduling With A Time-Delay TD(λ) NetworkWei Zhang, Thomas G. Dietterich — 1995
• Bisimulation for labelled Markov processesRichard Blute, Josée Desharnais, Abbas Edalat — 1997
• Reinforcement learningAndrew G. Barto — 1998
• Bisimulation for Labelled Markov ProcessesJosée Desharnais, Abbas Edalat, Prakash Panangaden — 2002
• Testing Labelled Markov ProcessesF. Breugel, S. Shalit, J. Worrell — 2002

Cited by

• Studies on the less-used actions exploration problem of a rationing algorithm based on reinforcement learningMihai Stoica, G. A. Calangiu, F. Sisak — 2011
• Toward Measuring Defect Debt and Developing a Recommender system for their prioritization ∗S. Akbarinasaji — 2015

Related papers

• Using knowledge engineering for Modeling Mobile Learning SystemsMahmoud Mohanna — 2015
• Learning dialogue POMDP model components from expert dialoguesHamid R. Chinaei — 2013
• About some Metamorphoses of Computer ProgramsYann Regis-Gianas — 2019
• Distributed conditional computationNicholas Léonard — 2015