On guaranteed optimal robust explanations for NLP models E La Malfa, A Zbrzezny, R Michelmore, N Paoletti, M Kwiatkowska arXiv preprint arXiv:2105.03640, 2021 | 41 | 2021 |
The BMC method for the existential part of RTCTLK and interleaved interpreted systems B Woźna-Szcześniak, A Zbrzezny, A Zbrzezny Progress in Artificial Intelligence: 15th Portuguese Conference on …, 2011 | 15 | 2011 |
SAT-based bounded model checking for weighted interpreted systems and weighted linear temporal logic B Woźna-Szcześniak, AM Zbrzezny, A Zbrzezny International Conference on Principles and Practice of Multi-Agent Systems …, 2013 | 12 | 2013 |
Sat and smt-based verification of security protocols including time aspects S Szymoniak, O Siedlecka-Lamch, AM Zbrzezny, A Zbrzezny, ... Sensors 21 (9), 3055, 2021 | 11 | 2021 |
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers AM Zbrzezny, A Zbrzezny, F Raimondi Agent and Multi-Agent Systems: Technology and Applications: 10th KES …, 2016 | 8 | 2016 |
Versectis-an agent based model checker for security protocols AM Zbrzezny, A Zbrzezny, S Szymoniak, O Siedlecka-Lamch, ... Proceedings of the 19th International Conference on Autonomous Agents and …, 2020 | 7 | 2020 |
Efficient verification of security protocols time properties using SMT solvers AM Zbrzezny, S Szymoniak, M Kurkowski International Joint Conference: 12th International Conference on …, 2020 | 7 | 2020 |
SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata B Woźna-Szcześniak, AM Zbrzezny, A Zbrzezny Fundamenta Informaticae 152 (4), 411-433, 2017 | 6* | 2017 |
SMT-based bounded model checking for weighted epistemic ECTL AM Zbrzezny, B Woźna-Szcześniak, A Zbrzezny Portuguese Conference on Artificial Intelligence, 651-657, 2015 | 6 | 2015 |
Deceptive Tricks in Artificial Intelligence: Adversarial Attacks in Ophthalmology AM Zbrzezny, AE Grzybowski Journal of Clinical Medicine 12 (9), 3266, 2023 | 5 | 2023 |
Checking WECTLK properties of timed real-weighted interpreted systems via SMT-based bounded model checking AM Zbrzezny, A Zbrzezny Progress in Artificial Intelligence: 17th Portuguese Conference on …, 2015 | 5 | 2015 |
SAT-based bounded model checking for RTECTL and simply-timed systems B Woźna-Szcześniak, A Zbrzezny, A Zbrzezny European Workshop on Performance Engineering, 337-349, 2013 | 5 | 2013 |
Practical approach in verification of security systems using satisfiability modulo theories AM Zbrzezny, S Szymoniak, M Kurkowski Logic Journal of the IGPL 30 (2), 289-300, 2022 | 4 | 2022 |
Simple SMT-based bounded model checking for timed interpreted systems AM Zbrzezny, A Zbrzezny International Joint Conference on Rough Sets, 487-504, 2017 | 4 | 2017 |
Simple bounded MTL model checking for discrete timed automata A Zbrzezny, A Zbrzezny CS&P, 37-48, 2016 | 4 | 2016 |
Checking RTECTL properties of stss via smt-based bounded model checking AM Zbrzezny, A Zbrzezny Distributed Computing and Artificial Intelligence, 12th International …, 2015 | 4 | 2015 |
Bounded model checking for weighted interpreted systems and for flat weighted epistemic computation tree logic B Woźna-Szcześniak, I Szcześniak, AM Zbrzezny, A Zbrzezny International Conference on Principles and Practice of Multi-Agent Systems …, 2014 | 4 | 2014 |
SMT solvers as efficient tools for automatic time properties verification of security protocols AM Zbrzezny, O Siedlecka-Lamch, S Szymoniak, M Kurkowski 2019 20th International Conference on Parallel and Distributed Computing …, 2019 | 3 | 2019 |
Verifying real-time properties of multi-agent systems via smt-based bounded model checking AM Zbrzezny, A Zbrzezny International Conference on Principles and Practice of Multi-Agent Systems …, 2016 | 3 | 2016 |
Checking WELTLK properties of weighted interpreted systems via smt-based bounded model checking AM Zbrzezny, A Zbrzezny International Conference on Principles and Practice of Multi-Agent Systems …, 2015 | 3 | 2015 |