关注
Ahmet Şencan
Ahmet Şencan
Student, EPFL
在 epfl.ch 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
122022
Timed automata robustness analysis via model checking
J Bendík, A Sencan, EA Gol, I Černá
Logical Methods in Computer Science 18, 2022
72022
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
72021
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
系统目前无法执行此操作，请稍后再试。
文章 1–5