Checking Liveness Properties of Concurrent Systems by Reinforcement Learning

DOI10.1007/978-3-540-74128-2_6MaRDI QIDQ5423884zbMATH OpenOpenAlexFDO

Authors Tadashi Araragi, Seung Mo Cho

Publication date 1 November 2007

Published in Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74128-2_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Enhancing model checking in verification by AI techniques
• Using integer programming to verify general safety and liveness properties
• Bounded rational search for on-the-fly model checking of LTL properties
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• scientific article; zbMATH DE number 1324660

This page was built for publication: Checking Liveness Properties of Concurrent Systems by Reinforcement Learning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5423884)