Proceedings

Valentin Wüstholz

2 papers in the IJCAI proceedings

IJCAI 2025

Lazy Testing of Machine-Learning Models
with Anastasia Isychev, Maria Christakis
doi:10.24963/ijcai.2025/826
Details PDF

IJCAI 2023

Specifying and Testing k-Safety Properties for Machine-Learning Models
with Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla
doi:10.24963/ijcai.2023/528
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards