共 32 条
- [1] Adams M, 2006, LECT NOTES COMPUT SC, V4275, P291
- [3] [Anonymous], 2001, LNCS
- [4] Chesani F, 2009, LECT NOTES COMPUT SC, V5460, P278
- [5] De Smedt J, 2014, LECT NOTES COMPUT SC, V8841, P446, DOI 10.1007/978-3-662-45563-0_26
- [7] Di Ciccio C, 2013, 2013 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DATA MINING (CIDM), P135, DOI 10.1109/CIDM.2013.6597228
- [8] SPOT: An extensible model checking library using Transition-Based Generalized Buchi Automata [J]. IEEE COMPUTER SOCIETY'S 12TH ANNUAL INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATIONS SYSTEMS - PROCEEDINGS, 2004, : 76 - 83
- [10] Goedertier S, 2009, J MACH LEARN RES, V10, P1305