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

A Unified Translation of Linear Temporal Logic to omega-Automata von Esparza, Javier, Kretinsky, Jan, Sickert, Salomon

Volltext

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

Volltext

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

Volltext

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

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

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

Volltext

Approximating Values of Generalized-Reachability Stochastic Games: Invited Presentation at the 11th International Symposium on Games, Automata, Logics, and Formal Verification von Křetínský, Jan

Volltext

OF CORES: A PARTIAL-EXPLORATION FRAMEWORK FOR MARKOV DECISION PROCESSES von Kretinsky, Jan, Meggendorfer, Tobias

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

From LTL to Deterministic Automata: A Safraless Compositional Approach von Esparza, Javier, 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

Algebraically explainable controllers: decision trees and support vector machines join forces von Jüngermann, Florian, Křetínský, Jan, 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

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

Volltext

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

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

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

Volltext

From LTL to deterministic automata: A safraless compositional approach von Esparza, Javier, Křetínský, Jan, Sickert, Salomon

Volltext