Optimistic and Topological Value Iteration for Simple Stochastic Games von Azeem, Muqsit, Evangelidis, Alexandros, Křetínský, Jan, Slivinskiy, Alexander, Weininger, Maximilian

Volltext

Sound Value Iteration for Simple Stochastic Games von Azeem, Muqsit, Kretinsky, Jan, Weininger, Maximilian

Volltext bestellen

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

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

Optimistic and Topological Value Iteration for Simple Stochastic Games von Azeem, Muqsit, Evangelidis, Alexandros, Křetínský, Jan, Slivinskiy, Alexander, Weininger, Maximilian

Volltext bestellen

Sound Value Iteration for Simple Stochastic Games von Muqsit Azeem, Kretinsky, Jan, Weininger, Maximilian

Volltext

Direct Construction of Program Alignment Automata for Equivalence Checking von Goyal, Manish, Azeem, Muqsit, Madhukar, Kumar, Venkatesh, R

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

Optimistic and Topological Value Iteration for Simple Stochastic Games von Muqsit Azeem, Evangelidis, Alexandros, Křetínský, Jan, Slivinskiy, Alexander, Weininger, Maximilian

Volltext

Direct Construction of Program Alignment Automata for Equivalence Checking von Goyal, Manish, Muqsit Azeem, Kumar, Madhukar, Venkatesh, R

Volltext