Opening book details…
About this Engineering article
LTL Model Checking Based on Binary Classification of Machine Learning by Zhu, Weijun; Wu, Huanmei; Deng, Miaolei is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- Zhu, Weijun; Wu, Huanmei; Deng, Miaolei
- Publisher
- Institute of Electrical and Electronics Engineers; Institute of Electrical and Electronics Engineers Inc.; Institute of Electrical and Electronics Engineers (IEEE); Research Square (ISSN 2169-3536)
- Published
- 2019
- Field
- Engineering (Physical Sciences)