Items where Schools and Departments is "Computer Science" and Year is 2025
A
Aminof, B., De Giacomo, G., Di Stasio, A. 
ORCID: 0000-0001-5475-2978 , Francon, H., Rubin, S. & Zhu, S. (2025).
ltl Synthesis Under Environment Specifications for Reachability and Safety Properties.
Information and Computation, 303,
article number 105255.
doi: 10.1016/j.ic.2024.105255
B
Bennetot, A. ORCID: 0000-0001-8232-8728, Donadello, I. ORCID: 0000-0002-0701-5729, El Qadi El Haouari, A. ORCID: 0000-0002-7296-1252 , Dragoni, M. ORCID: 0000-0003-0380-6571, Frossard, T. ORCID: 0009-0005-6388-5672, Wagner, B. ORCID: 0009-0002-6747-1862, Sarranti, A. ORCID: 0000-0002-1085-8428, Tulli, S. ORCID: 0000-0002-6826-370X, Trocan, M. ORCID: 0000-0001-6241-0126, Chatila, R. ORCID: 0000-0001-7822-0634, Holzinger, A. ORCID: 0000-0002-6786-5194, d'Avila Garcez, A. S. ORCID: 0000-0001-7375-9518 & Díaz-Rodríguez, N. ORCID: 0000-0003-3362-9326 (2025).
A Practical Tutorial on Explainable AI Techniques.
ACM Computing Surveys, 57(2),
pp. 1-44.
doi: 10.1145/3670685