Sledovat
Ahmet Şencan
Ahmet Şencan
Student, EPFL
E-mailová adresa ověřena na: epfl.ch
Název
Citace
Citace
Rok
Masksplit: Self-supervised meta-learning for few-shot semantic segmentation
MS Amac, A Sencan, B Baran, N Ikizler-Cinbis, RG Cinbis
Proceedings of the IEEE/CVF winter conference on applications of computer …, 2022
102022
Timed automata robustness analysis via model checking
J Bendík, A Sencan, EA Gol, I Černá
Logical Methods in Computer Science 18, 2022
52022
Timed automata relaxation for reachability
J Bendík, A Sencan, EA Gol, I Černá
International Conference on Tools and Algorithms for the Construction and …, 2021
52021
TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING.
A SENCAN, EA GOL, I ČERNÁ
Logical Methods in Computer Science (LMCS) 18 (3), 2022
2022
Timed automata robustness analysis via model checking
J Bendík, A Sencan, EA Gol, I Černá
arXiv preprint arXiv:2108.08018, 2021
2021
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–5