Personal information

No personal information available

Activities

Works (6)

A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community

2025 | Book chapter
Contributors: Sudeep Kanav; Jan Křetínský; Sabine Rieder
Source: check_circle
Crossref

Statistical Model Checking the 2024 Edition!

2025 | Book chapter
Contributors: Sudeep Kanav; Jan Křetínský; Kim G. Larsen
Source: check_circle
Crossref

Monitizer: Automating Design and Evaluation of Neural Network Monitors

2024 | Book chapter
Contributors: Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Křetínský; Stefanie Mohr; Sabine Rieder
Source: check_circle
Crossref

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers

2022 | Book chapter
Contributors: Dirk Beyer; Sudeep Kanav; Cedric Richter
Source: check_circle
Crossref

CoVeriTeam: On-Demand Composition of Cooperative Verification Systems

2022 | Book chapter
Contributors: Dirk Beyer; Sudeep Kanav
Source: check_circle
Crossref

An Interface Theory for Program Verification

2020 | Book chapter
Contributors: Dirk Beyer; Sudeep Kanav
Source: check_circle
Crossref