A Unified Translation of Linear Temporal Logic to ω-Automata von Esparza, Javier, Křetínský, Jan, Sickert, Salomon

Volltext

Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks von Hashemi, Vahid, Křetínskỳ, Jan, Rieder, Sabine, Schmidt, Jessica

Volltext

Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances von Křetínský, Jan

Volltext

Comparison of algorithms for simple stochastic games von Křetínský, Jan, Ramneantu, Emanuel, Slivinskiy, Alexander, Weininger, Maximilian

Volltext

Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday von Kiefer, Stefan, Křetínský, Jan, Kučera, Antonín

Volltext

Limit-Deterministic Büchi Automata for Linear Temporal Logic von Sickert, Salomon, Esparza, Javier, Jaax, Stefan, Křetínský, Jan

Volltext

30 Years of Modal Transition Systems: Survey of Extensions and Analysis von Křetínský, Jan

Volltext

Value iteration for simple stochastic games: Stopping criterion and learning algorithm von Eisentraut, Julia, Kelmendi, Edon, Křetínský, Jan, Weininger, Maximilian

Volltext

PAC statistical model checking of mean payoff in discrete- and continuous-time MDP von Agarwal, Chaitanya, Guha, Shibashis, Křetínský, Jan, Pazhamalai, M.

Volltext

Abstraction-based segmental simulation of reaction networks using adaptive memoization von Helfrich, Martin, Andriushchenko, Roman, Češka, Milan, Křetínský, Jan, Martiček, Štefan, Šafránek, David

Volltext

Of Cores: A Partial-Exploration Framework for Markov Decision Processes von Jan Křetínský, Tobias Meggendorfer

Volltext

Algebraically explainable controllers: decision trees and support vector machines join forces von Jüngermann, Florian, Křetínský, Jan, Weininger, Maximilian

Volltext

From LTL to Deterministic Automata: A Safraless Compositional Approach von Esparza, Javier, Křetínský, Jan

Volltext

Index appearance record with preorders von Křetínský, Jan, Meggendorfer, Tobias, Waldmann, Clara, Weininger, Maximilian

Volltext

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes von Krishnendu Chatterjee, Zuzana Křetínská, Jan Křetínský

Volltext

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata von Esparza, Javier, Křetínský, Jan, Raskin, Jean-François, Sickert, Salomon

Volltext

Comparison of Algorithms for Simple Stochastic Games von Křetínský, Jan, Ramneantu, Emanuel, Slivinskiy, Alexander, Weininger, Maximilian

Volltext

Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata von Komárková, Zuzana, Křetínský, Jan

Volltext

From LTL to deterministic automata von Esparza, Javier, Křetínský, Jan, Sickert, Salomon

Volltext

Faster Statistical Model Checking for Unbounded Temporal Properties von Daca, Przemysław, Henzinger, Thomas A., Křetínský, Jan, Petrov, Tatjana

Volltext