Ekaterina Komendantskaya

Ekaterina Komendantskaya

Professor in Computer Science, Southampton University and Heriot-Watt University, UK
在 hw.ac.uk 的电子邮件经过验证
被引用次数：987
Logic AI Verification Logic Programming Theorem Proving Machine Learning
Niklas Kochdumper

Niklas Kochdumper

Postdoctoral researcher at IRIF/Université Paris Cité
在 tum.de 的电子邮件经过验证
被引用次数：778
Reachability Analysis Set-based Computing Control Theory Cyber-Physical Systems AI Verification
Fateh BOUDARDARA

Fateh BOUDARDARA

Gustave Eiffel University
在 railenium.eu 的电子邮件经过验证
被引用次数：60
Safety of AI AI verification Verification Machine Learning
Fletcher Newell

Fletcher Newell

Coterm, Stanford University
在 cs.stanford.edu 的电子邮件经过验证
被引用次数：6
AI Verification
Zahra Dehghanipour

Zahra Dehghanipour

PhD student, Northeastern University London
在 students.nulondon.ac.uk 的电子邮件经过验证
被引用次数：1
AI Verification