An Interface Theory for Program Verification von Beyer, Dirk, Kanav, Sudeep

Volltext

Design and Runtime Verification Side-by-Side in eTrice von Kanav, Sudeep, Lúcio, Levi, Hilden, Christian, Schuetz, Thomas

Volltext

A Conference Management System with Verified Document Confidentiality von Kanav, Sudeep, Lammich, Peter, Popescu, Andrei

Volltext

Adaptability of Conservative Staircase Scheme for Live Videos von Kanav, Sudeep, Chand, Satish

Volltext

Reproduction Package for Submission `A Literature Review on Verification and Abstraction of Neural Networks von Kanav, Sudeep, Kretinsky, Jan

Volltext bestellen

Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes von Azeem, Muqsit, Chakraborty, Debraj, Kanav, Sudeep, Kretinsky, Jan

Volltext bestellen

Reproduction Package for STTT Submission `Cooperative Verification: A Literature Review von Beyer, Dirk, Kanav, Sudeep

Volltext bestellen

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization von Azeem, Muqsit, Chakraborty, Debraj, Kanav, Sudeep, Kretinsky, Jan, Mohagheghi, Mohammadsadegh, Mohr, Stefanie, Weininger, Maximilian

Volltext bestellen

Monitizer: Automating Design and Evaluation of Neural Network Monitors von Azeem, Muqsit, Grobelna, Marta, Kanav, Sudeep, Kretinsky, Jan, Mohr, Stefanie, Rieder, Sabine

Volltext bestellen

Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes von Muqsit Azeem, Chakraborty, Debraj, Kanav, Sudeep, Kretinsky, Jan

Volltext

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization von Muqsit Azeem, Chakraborty, Debraj, Kanav, Sudeep, Kretinsky, Jan, Mohagheghi, Mohammadsadegh, Mohr, Stefanie, Weininger, Maximilian

Volltext

Monitizer: Automating Design and Evaluation of Neural Network Monitors von Muqsit Azeem, Grobelna, Marta, Kanav, Sudeep, Kretinsky, Jan, Mohr, Stefanie, Rieder, Sabine

Volltext

A Conference Management System with Verified Document Confidentiality von Kanav, Sudeep, Lammich, Peter, Popescu, Andrei

Volltext bestellen