LTL Model Checking Based on Binary Classification of Machine Learning
暂无分享,去创建一个
[1] Lijun Zhang,et al. Precisely deciding CSL formulas through approximate model checking for CTMCs , 2017, J. Comput. Syst. Sci..
[2] Matthew Day,et al. Emotion recognition with boosted tree classifiers , 2013, ICMI '13.
[3] Longbing Cao,et al. Formalization and Verification of Group Behavior Interactions , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[4] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[5] Majid Nili Ahmadabadi,et al. Bounded Rational Search for On-the-Fly Model Checking of LTL Properties , 2009, FSEN.
[6] Paola Quaglia,et al. Approximate Model Checking of Stochastic COWS , 2010, TGC.
[7] Wojciech Jamroga. Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper) , 2018, TIME.
[8] J. Ross Quinlan,et al. Learning Efficient Classification Procedures and Their Application to Chess End Games , 1983 .
[9] Lubos Brim,et al. Designing fast LTL model checking algorithms for many-core GPUs , 2012, J. Parallel Distributed Comput..
[10] Krzysztof Czarnecki,et al. Learning Rate Based Branching Heuristic for SAT Solvers , 2016, SAT.
[11] Ramakant Nevatia,et al. Cluster Boosted Tree Classifier for Multi-View, Multi-Pose Object Detection , 2007, 2007 IEEE 11th International Conference on Computer Vision.
[12] Edmund M. Clarke,et al. Statistical Model Checking for Markov Decision Processes , 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.
[13] Yufei Chen,et al. Toward Hand-Dominated Activity Recognition Systems With Wristband-Interaction Behavior Analysis , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[14] Simão Melo de Sousa,et al. Learning Stochastic Timed Automata from Sample Executions , 2012, ISoLA.
[15] Ellen J. Bass,et al. Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[16] Xiaoming Dong,et al. Packet classification based on the decision tree with information entropy , 2018, The Journal of Supercomputing.
[17] Toby Walsh,et al. Restart Strategy Selection Using Machine Learning Techniques , 2009, SAT.
[18] Artur S. d'Avila Garcez,et al. Integrating model verification and self-adaptation , 2010, ASE.
[19] Krishnendu Chatterjee,et al. Verification of Markov Decision Processes Using Learning Algorithms , 2014, ATVA.
[20] Hani S. Mitri,et al. Comparative performance of six supervised learning methods for the development of models of hard rock pillar stability prediction , 2015, Natural Hazards.
[21] Gang Yu,et al. Unsupervised random forest indexing for fast action search , 2011, CVPR 2011.
[22] Mordechai Ben-Ari,et al. The temporal logic of branching time , 1981, POPL '81.
[23] Kilian M. Pohl,et al. Computing group cardinality constraint solutions for logistic regression problems , 2017, Medical Image Anal..
[24] Damian Kurpiewski,et al. Fixpoint Approximation of Strategic Abilities under Imperfect Information , 2017, AAMAS.
[25] Luigi Glielmo,et al. Probabilistic model checking applied to autonomous spacecraft reconfiguration , 2016, 2016 IEEE Metrology for Aerospace (MetroAeroSpace).
[26] B. Sankur,et al. Face detection using boosted tree classifier stages , 2004, Proceedings of the IEEE 12th Signal Processing and Communications Applications Conference, 2004..
[27] Venu Govindaraju,et al. Using a boosted tree classifier for text segmentation in hand-annotated documents , 2012, Pattern Recognit. Lett..
[28] Piotr Duda,et al. New Splitting Criteria for Decision Trees in Stationary Data Streams , 2018, IEEE Transactions on Neural Networks and Learning Systems.
[29] Kiyoharu Hamaguchi,et al. Approximate Model Checking Using a Subset of First-order Logic , 2010, IPSJ Trans. Syst. LSI Des. Methodol..
[30] David R. Gilbert,et al. A machine learning approach for generating temporal logic classifications of complex model behaviours , 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).
[31] Mauro Birattari,et al. Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking , 2015, TAAS.
[32] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[33] Samik Basu,et al. Approximate Model Checking of PCTL Involving Unbounded Path Properties , 2009, ICFEM.
[34] Corina S. Pasareanu,et al. Learning Techniques for Software Verification and Validation , 2012, ISoLA.
[35] Huanmei Wu,et al. Predicting the results of molecular specific hybridization using boosted tree algorithm , 2020, Concurr. Comput. Pract. Exp..
[36] Ahmed M. Elgammal,et al. Unsupervised Learning of Boosted Tree Classifier Using Graph Cuts for Hand Pose Recognition , 2006, BMVC.
[37] Chunxiao Li,et al. Machine Learning-Based Restart Policy for CDCL SAT Solvers , 2018, SAT.
[38] Joost-Pieter Katoen,et al. Approximate Model Checking of Stochastic Hybrid Systems , 2010, Eur. J. Control.
[39] Michael Luck,et al. Verification & Validation of Agent-Based Simulations using Approximate Model Checking , 2013 .
[40] Aditya Kanade,et al. MUX: algorithm selection for software model checkers , 2014, MSR 2014.
[41] Javier Fabra,et al. On the Use of Log-Based Model Checking, Clustering and Machine Learning for Process Behavior Prediction , 2018, 2018 Fifth International Conference on Social Networks Analysis, Management and Security (SNAMS).
[42] Debotosh Bhattacharjee,et al. Human Identification Using Selected Features From Finger Geometric Profiles , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[43] Tayssir Touili,et al. Model-Checking for Android Malware Detection , 2014, APLAS.
[44] G. Sanguinetti,et al. Learning and Designing Stochastic Processes from Logical Constraints , 2013, QEST.
[45] Luca Bortolussi,et al. Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models , 2018, TACAS.
[46] Lenz Belzner,et al. Bayesian Verification under Model Uncertainty , 2017, 2017 IEEE/ACM 3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS).
[47] Alessandro Armando,et al. LTL model checking for security protocols , 2009, J. Appl. Non Class. Logics.
[48] Bud Mishra,et al. Algorithmic Algebraic Model Checking III: Approximate Methods , 2005, INFINITY.
[49] Mark McClelland,et al. Probabilistic Modeling of Anticipation in Human Controllers , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[50] Guido Sanguinetti,et al. Machine Learning Methods in Statistical Model Checking and System Design - Tutorial , 2015, RV.
[51] Ha Thi Thu Doan,et al. Model Checking of Robot Gathering , 2017, OPODIS.
[52] Fausto Giunchiglia,et al. NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.
[53] Maurice Bruynooghe,et al. Theory and Applications of Satisfiability Testing – SAT 2016 , 2016, Lecture Notes in Computer Science.
[54] Edmund M. Clarke,et al. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..
[55] Edmund M. Clarke,et al. Symbolic model checking for sequential circuit verification , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[56] Ellen J. Bass,et al. Using Formal Verification to Evaluate Human-Automation Interaction: A Review , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[57] Ofer Strichman,et al. SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques , 2002, CAV.
[58] Anil Nerode,et al. On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies , 2004, FORMATS/FTRTFT.
[59] J. Lygeros,et al. A two-step scheme for approximate model checking of stochastic hybrid systems ⋆ , 2011 .
[60] Tiziana Margaria,et al. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change , 2012, Lecture Notes in Computer Science.