팔로우
Agnieszka Zbrzezny
Agnieszka Zbrzezny
Faculty of Mathematics and Computer Science, University of Warmia and Mazury in Olsztyn, Poland
matman.uwm.edu.pl의 이메일 확인됨
제목
인용
인용
연도
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
412021
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
152011
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
122013
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
112021
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
82016
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
72020
Efficient verification of security protocols time properties using SMT solvers
AM Zbrzezny, S Szymoniak, M Kurkowski
International Joint Conference: 12th International Conference on …, 2020
72020
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
62015
Deceptive Tricks in Artificial Intelligence: Adversarial Attacks in Ophthalmology
AM Zbrzezny, AE Grzybowski
Journal of Clinical Medicine 12 (9), 3266, 2023
52023
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
52015
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
52013
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
42022
Simple SMT-based bounded model checking for timed interpreted systems
AM Zbrzezny, A Zbrzezny
International Joint Conference on Rough Sets, 487-504, 2017
42017
Simple bounded MTL model checking for discrete timed automata
A Zbrzezny, A Zbrzezny
CS&P, 37-48, 2016
42016
Checking RTECTL properties of stss via smt-based bounded model checking
AM Zbrzezny, A Zbrzezny
Distributed Computing and Artificial Intelligence, 12th International …, 2015
42015
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
42014
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
32019
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
32016
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
32015
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20