Sudeep Kanav, M.Sc.

Research specialist - postdoc, Department of Computer Science

Correspondence Address:
Botanická 554/68a, 602 00 Brno

E‑mail:

Basic information

Type

Total number of publications: 1

2024

Monitizer: Automating Design and Evaluation of Neural Network Monitors

AZEEM Muqsit KANAV Sudeep KŘETÍNSKÝ Jan MOHR Stefanie RIEDER Sabine

Article in Proceedings

Computer Aided Verification, year: 2024