LTL Model Checking Based on Binary Classification of Machine Learning

LTL Model Checking Based on Binary Classification of Machine Learning

Linear Temporal Logic (LTL) Model Checking (MC) has been applied to many fields. However, the state explosion problem and the exponentially computational complexity restrict the further applications of LTL model checking. A lot of approaches have been presented to address these problems. And they wo...

Full description

Bibliographic Details
Main Authors: Weijun Zhu, Huanmei Wu, Miaolei Deng
Format: Article
Language:English
Published: IEEE 2019-01-01
Series:IEEE Access
Subjects:
Machine learning
model checking
linear temporal logic
binary classification
Online Access:https://ieeexplore.ieee.org/document/8845603/

Internet

https://ieeexplore.ieee.org/document/8845603/

Similar Items