共 50 条
- [41] Automata-Based Software Model Checking of Hyperproperties NASA FORMAL METHODS, NFM 2023, 2023, 13903 : 361 - 379
- [42] Dealing with Incompleteness in Automata-Based Model Checking FM 2016: FORMAL METHODS, 2016, 9995 : 531 - 550
- [43] Automata-based analysis of recursive cryptographic protocols STACS 2004, PROCEEDINGS, 2004, 2996 : 382 - 393
- [44] Automata-Based Model Counting for String Constraints COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 255 - 272
- [45] Automata-based Optimal Planning with Relaxed Specifications 2021 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2021, : 6525 - 6530
- [46] Designing cellular automata-based scheduling algorithms GECCO-99: PROCEEDINGS OF THE GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 1999, : 587 - 594
- [47] SPATIO-TEMPORAL CELLULAR AUTOMATA-BASED FILTERING FOR IMAGE SEQUENCE DENOISING: APPLICATION TO FLUOROSCOPIC SEQUENCES 2013 20TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2013), 2013, : 548 - 552
- [48] Logic programming approach to automata-based decision procedures LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 165 - +
- [50] An automata-based approach to property testing in event traces TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2003, 2644 : 180 - 196