Ahmet Sencan

According to our database, Ahmet Sencan authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Timed Automata Robustness Analysis via Model Checking.

Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná

Log. Methods Comput. Sci., 2022

MaskSplit: Self-supervised Meta-learning for Few-shot Semantic Segmentation.

Mustafa Sercan Amac, Ahmet Sencan, Orhun Bugra Baran, Nazli Ikizler-Cinbis, Ramazan Gokberk Cinbis

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2022

2021

Timed Automata Relaxation for Reachability.

Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021