共 50 条
- [42] Learning Deterministic Weighted Automata with Queries and Counterexamples ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), 2019, 32
- [43] Refinement Of Reinforcement Learning Algorithms Guided By Counterexamples 2022 IEEE WOMEN IN TECHNOLOGY CONFERENCE (WINTECHCON): SMARTER TECHNOLOGIES FOR A SUSTAINABLE AND HYPER-CONNECTED WORLD, 2022,
- [46] Dependent Types from Counterexamples POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 119 - 130
- [49] Generating tests from counterexamples ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 326 - 335
- [50] MINIMAL SUFFICIENT SIGMA-FIELDS AND MINIMAL SUFFICIENT STATISTICS - 2 COUNTEREXAMPLES ANNALS OF MATHEMATICAL STATISTICS, 1972, 43 (06): : 2045 - 2049