Sudeep Kanav

21 papers A* 1A 1B 1Journal 6Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.
VMCAI (2)
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2025 J jnl
Construction of verifier combinations from off-the-shelf components.
Formal Methods Syst. Des.
Dirk Beyer, Sudeep Kanav, Tobias Kleinert, Cedric Richter
2025 — conf
Explaining Control Policies through Predicate Decision Diagrams.
HSCC
Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Kretínský, Christoph Weinhuber
2025 J jnl
Explaining Control Policies through Predicate Decision Diagrams.
CoRR
Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Kretínský, Christoph Weinhuber
2024 J jnl
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.
CoRR
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2024 — conf
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community.
Principles of Verification (3)
Sudeep Kanav, Jan Kretínský, Sabine Rieder
2024 J jnl
Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes.
CoRR
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský
2024 — conf
Monitizer: Automating Design and Evaluation of Neural Network Monitors.
CAV (2)
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
2024 J jnl
Monitizer: Automating Design and Evaluation of Neural Network Monitors.
CoRR
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
2024 — conf
Statistical Model Checking the 2024 Edition!
AISoLA
Sudeep Kanav, Jan Kretínský, Kim G. Larsen
2023 — conf
CoVeriTeam Service: Verification as a Service.
ICSE Companion
Dirk Beyer, Sudeep Kanav, Henrik Wachowitz
2022 — conf
CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.
TACAS (1)
Dirk Beyer, Sudeep Kanav
2022 B conf
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.
FASE
Dirk Beyer, Sudeep Kanav, Cedric Richter
2020 — conf
An Interface Theory for Program Verification.
ISoLA (1)
Dirk Beyer, Sudeep Kanav
2019 — conf
Design and Runtime Verification Side-by-Side in eTrice.
NFM
Sudeep Kanav, Levi Lúcio, Christian Hilden, Thomas Schuetz
2018 — conf
A modular approach to integrate verification tools in model based development.
MoDELS (Companion)
Sudeep Kanav
2018 — conf
Controlling a virtual rover using AutoFOCUS3.
MoDELS (Workshops)
Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder
2017 — conf
Modular Transformation from AF3 to nuXmv.
MoDELS (Satellite Events)
Sudeep Kanav, Vincent Aravantinos
2017 A conf
Tool Support for Live Formal Verification.
MoDELS
Vincent Aravantinos, Sudeep Kanav
2014 A* conf
A Conference Management System with Verified Document Confidentiality.
CAV
Sudeep Kanav, Peter Lammich, Andrei Popescu
2011 J jnl
Adaptability of Conservative Staircase Scheme for Live Videos.
Circuits Syst.
Sudeep Kanav, Satish Chand