Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Jan Kretínský

Jan Křetínský

> Home > Persons

Person information

unicode name: Jan Křetínský
affiliation: Masaryk University, Brno, Czech Republic
affiliation: Technical University of Munich, Department of Informatics, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2015
[b1]
- view
- export record
  dblp key:
  - phd/de/Kretinsky15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Kretinsky15
Jan Kretínský:
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems (Verifikation von non-deterministischen Markovischen Systemen mit diskreter oder kontinuierlicher Zeit). Technical University of Munich, Germany, 2015

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/JungermannKW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JungermannKW23
Florian Jüngermann, Jan Kretínský, Maximilian Weininger:
Algebraically explainable controllers: decision trees and support vector machines join forces. Int. J. Softw. Tools Technol. Transf. 25(3): 249-266 (2023)
2022
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/acta/KretinskyMWW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/KretinskyMWW22
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger:
Index appearance record with preorders. Acta Informatica 59(5): 585-618 (2022)
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/EisentrautKKW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/EisentrautKKW22
Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger:
Value iteration for simple stochastic games: Stopping criterion and learning algorithm. Inf. Comput. 285(Part): 104886 (2022)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KretinskyRSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KretinskyRSW22
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger:
Comparison of algorithms for simple stochastic games. Inf. Comput. 289(Part): 104885 (2022)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/EsparzaKRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/EsparzaKRS22
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert:
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata. Int. J. Softw. Tools Technol. Transf. 24(4): 635-659 (2022)
2021
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Kress-GazitEHAA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Kress-GazitEHAA21
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh:
Formalizing and guaranteeing human-robot interaction. Commun. ACM 64(9): 78-84 (2021)
2020
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BenesFKLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BenesFKLT20
Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Logical vs. behavioural specifications. Inf. Comput. 271: 104487 (2020)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/EsparzaKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/EsparzaKS20
Javier Esparza, Jan Kretínský, Salomon Sickert:
A Unified Translation of Linear Temporal Logic to ω-Automata. J. ACM 67(6): 33:1-33:61 (2020)
[j9]
- view
  - electronic edition @ episciences.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/lmcs/KretinskyM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/KretinskyM20
Jan Kretínský, Tobias Meggendorfer:
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. Log. Methods Comput. Sci. 16(4) (2020)
2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/soco/FahrenbergKLT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soco/FahrenbergKLT18
Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for quantitative specifications. Soft Comput. 22(4): 1139-1158 (2018)
2017
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/ChatterjeeKK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/ChatterjeeKK17
Krishnendu Chatterjee, Zuzana Kretínská, Jan Kretínský:
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. Log. Methods Comput. Sci. 13(2) (2017)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/DacaHKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/DacaHKP17
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Faster Statistical Model Checking for Unbounded Temporal Properties. ACM Trans. Comput. Log. 18(2): 12:1-12:25 (2017)
2016
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/EsparzaKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/EsparzaKS16
Javier Esparza, Jan Kretínský, Salomon Sickert:
From LTL to deterministic automata - A safraless compositional approach. Formal Methods Syst. Des. 49(3): 219-271 (2016)
2015
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BenesKLMSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BenesKLMSS15
Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba:
Refinement checking on parametric modal transition systems. Acta Informatica 52(2-3): 269-297 (2015)
2013
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BrazdilFKKK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BrazdilFKKK13
Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera:
Continuous-time stochastic games with time-bounded reachability. Inf. Comput. 224: 46-70 (2013)
2012
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BenesKLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BenesKLS12
Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba:
EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. 218: 54-68 (2012)
2009
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BenesKLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BenesKLS09
Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba:
On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BalsEKW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BalsEKW24
Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel:
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. HSCC 2024: 24:1-24:7
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BalsEKW24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BalsEKW24a
Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel:
Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. HSCC 2024: 33:1-33:2
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BorkCGKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BorkCGKM24
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr:
Learning Explainable and Better Performing Representations of POMDP Strategies. TACAS (2) 2024: 299-319
2023
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChauKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChauKM23
Calvin Chau, Jan Kretínský, Stefanie Mohr:
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. ATVA (1) 2023: 401-421
[c92]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KretinskyMPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KretinskyMPR23
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder:
Guessing Winning Policies in LTL Synthesis by Semantic Learning. CAV (1) 2023: 390-414
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HashemiKRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HashemiKRS23
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt:
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. FM 2023: 622-634
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/DorfhuberEK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/DorfhuberEK23
Florian Dorfhuber, Julia Eisentraut, Jan Kretínský:
Learning Attack Trees by Genetic Algorithms. ICTAC 2023: 55-73
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/KretinskyMW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/KretinskyMW23
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger:
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. LICS 2023: 1-14
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/JansenKKL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/JansenKKL23
Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen:
Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA 2023: 25-32
2022
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AzeemEKSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AzeemEKSW22
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger:
Optimistic and Topological Value Iteration for Simple Stochastic Games. ATVA 2022: 285-302
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Chodil0K22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Chodil0K22
Miroslav Chodil, Antonín Kucera, Jan Kretínský:
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. Principles of Systems Design 2022: 364-387
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AgarwalGKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AgarwalGKM22
Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham:
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. CAV (2) 2022: 3-25
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/HelfrichCKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/HelfrichCKM22
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek:
Abstraction-Based Segmental Simulation of Chemical Reaction Networks. CMSB 2022: 41-60
[c83]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/GroverKMW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GroverKMW22
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger:
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. CONCUR 2022: 11:1-11:20
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/KiesbyeGAK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/KiesbyeGAK22
Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretínský:
Planning via model checking with decision-tree controllers. ICRA 2022: 4347-4354
[c81]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BortolussiGKN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BortolussiGKN22
Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi:
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. TACAS (1) 2022: 281-300
2021
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WeiningerGMK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WeiningerGMK21
Maximilian Weininger, Kush Grover, Shruti Misra, Jan Kretínský:
Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games. CDC 2021: 3786-3793
[c79]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/EsparzaKKW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/EsparzaKKW21
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger:
Enforcing ω-Regular Properties in Markov Chains by Restarting. CONCUR 2021: 5:1-5:22
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/EisentrautHKKPW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/EisentrautHKKPW21
Julia Eisentraut, Stephan Holzer, Katharina Klioba, Jan Kretínský, Lukas Pin, Alexander Wagner:
Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. ICTAC 2021: 214-234
[c77]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Kretinsky21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Kretinsky21
Jan Kretínský:
LTL-Constrained Steady-State Policy Synthesis. IJCAI 2021: 4104-4111
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/GroverBTK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/GroverBTK21
Kush Grover, Fernando S. Barbosa, Jana Tumova, Jan Kretínský:
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments. Robotics: Science and Systems 2021
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HashemiKMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HashemiKMS21
Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis:
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. RV 2021: 254-264
[c74]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AshokJKWWY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AshokJKWWY21
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav:
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. TACAS (2) 2021: 326-345
2020
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AshokHKM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AshokHKM20
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr:
DeepAbstract: Neural Network Abstraction for Accelerating Verification. ATVA 2020: 92-107
[c72]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DAntoniHKRW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DAntoniHKRW20
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger:
Automata Tutor v3. CAV (2) 2020: 3-14
[c71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/0002CK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/0002CK20
Milan Ceska, Calvin Chau, Jan Kretínský:
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks. CAV (1) 2020: 653-666
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AshokJJKWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AshokJJKWZ20
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani:
dtControl: decision tree learning algorithms for controller representation. HSCC 2020: 17:1-17:7
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AshokJJKWZ20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AshokJJKWZ20a
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani:
dtControl: decision tree learning algorithms for controller representation. HSCC 2020: 30:1-30:2
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BuddeHKKPQTZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BuddeHKKPQTZ20
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang:
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. ISoLA (4) 2020: 216-241
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AshokDKW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AshokDKW20
Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger:
Statistical Model Checking: Black or White? ISoLA (1) 2020: 331-349
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AshokCKWW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AshokCKWW20
Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler:
Approximating Values of Generalized-Reachability Stochastic Games. LICS 2020: 102-115
[c65]
- view
- export record
  dblp key:
  - conf/uai/KretinskyMMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/KretinskyMMP20
Jan Kretínský, Fabian Michel, Lukas Michel, Guillermo A. Pérez:
Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward. UAI 2020: 1149-1158
[c64]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10882
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10882
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger:
Comparison of Algorithms for Simple Stochastic Games. GandALF 2020: 131-148
2019
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KretinskyMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KretinskyMM19
Jan Kretínský, Alexander Manta, Tobias Meggendorfer:
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. ATVA 2019: 404-422
[c62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CeskaK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CeskaK19
Milan Ceska, Jan Kretínský:
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks. CAV (1) 2019: 475-496
[c61]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AshokKW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AshokKW19
Pranav Ashok, Jan Kretínský, Maximilian Weininger:
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. CAV (1) 2019: 497-519
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WeiningerMK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WeiningerMK19
Maximilian Weininger, Tobias Meggendorfer, Jan Kretínský:
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. CDC 2019: 2284-2291
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/0001K19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/0001K19
Milan Ceska, Jan Kretínský:
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). CMSB 2019: 337-341
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/KretinskyM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KretinskyM19
Jan Kretínský, Tobias Meggendorfer:
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. CONCUR 2019: 5:1-5:17
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/AshokBCKLT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/AshokBCKLT19
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman:
Strategy Representation by Decision Trees with Linear Classifiers. QEST 2019: 109-128
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/AshokKLCTW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/AshokKLCTW19
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger:
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. QEST 2019: 147-164
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/EisentrautK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/EisentrautK19
Julia Eisentraut, Jan Kretínský:
Expected Cost Analysis of Attack-Defense Trees. QEST 2019: 203-221
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HahnHHKKKPQRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HahnHHKKKPQRS19
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz:
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) 2019: 69-92
2018
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AshokBHK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AshokBHK18
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský:
Continuous-Time Markov Decisions Based on Partial Exploration. ATVA 2018: 317-334
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KretinskyMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KretinskyMS18
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert:
Owl: A Library for ω-Words, Automata, and LTL. ATVA 2018: 543-550
[c51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KretinskyMSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KretinskyMSZ18
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler:
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. CAV (1) 2018: 567-577
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KelmendiKKW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KelmendiKKW18
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger:
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. CAV (1) 2018: 623-642
[c49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/KretinskyPR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KretinskyPR18
Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin:
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. CONCUR 2018: 8:1-8:18
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/KretinskyR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KretinskyR18
Jan Kretínský, Alexej Rotar:
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. CONCUR 2018: 32:1-32:16
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AshokBKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AshokBKS18
Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka:
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. ISoLA (2) 2018: 322-335
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/EsparzaKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/EsparzaKS18
Javier Esparza, Jan Kretínský, Salomon Sickert:
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. LICS 2018: 384-393
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/KretinskyM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/KretinskyM18
Jan Kretínský, Tobias Meggendorfer:
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. LICS 2018: 609-618
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BrazdilCKT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BrazdilCKT18
Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman:
Strategy Representation by Decision Trees in Reactive Synthesis. TACAS (1) 2018: 385-407
2017
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KretinskyM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KretinskyM17
Jan Kretínský, Tobias Meggendorfer:
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. ATVA 2017: 380-399
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Kretinsky17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Kretinsky17
Jan Kretínský:
30 Years of Modal Transition Systems: Survey of Extensions and Analysis. Models, Algorithms, Logics and Tools 2017: 36-74
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AshokCDKM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AshokCDKM17
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer:
Value Iteration for Long-Run Average Reward in Markov Decision Processes. CAV (1) 2017: 201-221
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/EsparzaKRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/EsparzaKRS17
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert:
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. TACAS (1) 2017: 426-442
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/KretinskyMWW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KretinskyMWW17
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger:
Index Appearance Record for Transforming Rabin Automata into Parity Automata. TACAS (1) 2017: 443-460
2016
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SickertK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SickertK16
Salomon Sickert, Jan Kretínský:
MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata. ATVA 2016: 130-137
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/SickertEJK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SickertEJK16
Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský:
Limit-Deterministic Büchi Automata for Linear Temporal Logic. CAV (2) 2016: 312-332
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/DacaHKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DacaHKP16
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Linear Distances between Markov Chains. CONCUR 2016: 20:1-20:15
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Kretinsky16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Kretinsky16
Jan Kretínský:
Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances. ISoLA (1) 2016: 27-45
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DacaHKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DacaHKP16
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Faster Statistical Model Checking for Unbounded Temporal Properties. TACAS 2016: 112-129
2015
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BrazdilCCFK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BrazdilCCFK15
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský:
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CAV (1) 2015: 158-177
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BabiakBDKKM0S15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BabiakBDKKM0S15
Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek:
The Hanoi Omega-Automata Format. CAV (1) 2015: 479-486
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/BenesDHKN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/BenesDHKN15
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic:
Complete Composition Operators for IOCO-Testing Theory. CBSE 2015: 101-110
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/KretinskyLLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KretinskyLLS15
Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba:
Polynomial Time Decidability of Weighted Synchronization under Partial Observability. CONCUR 2015: 142-154
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SvorenovaKCCCB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SvorenovaKCCCB15
María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta:
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. HSCC 2015: 259-268
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ChatterjeeKK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ChatterjeeKK15
Krishnendu Chatterjee, Zuzana Komárková, Jan Kretínský:
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. LICS 2015: 244-256
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/ForejtKK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/ForejtKK15
Vojtech Forejt, Jan Krcál, Jan Kretínský:
Controller Synthesis for MDPs and Frequency LTL_\GU. LPAR 2015: 162-177
2014
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BrazdilCCFKKPU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BrazdilCCFKKPU14
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Verification of Markov Decision Processes Using Learning Algorithms. ATVA 2014: 98-114
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KomarkovaK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KomarkovaK14
Zuzana Komárková, Jan Kretínský:
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata. ATVA 2014: 235-241
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/EsparzaK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/EsparzaK14
Javier Esparza, Jan Kretínský:
From LTL to Deterministic Automata: A Safraless Compositional Approach. CAV 2014: 192-208
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HermannsKK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HermannsKK14
Holger Hermanns, Jan Krcál, Jan Kretínský:
Probabilistic Bisimulation: Naturally on Distributions. CONCUR 2014: 249-265
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/FahrenbergKLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/FahrenbergKLT14
Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications. FACS 2014: 306-324
2013
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KretinskyL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KretinskyL13
Jan Kretínský, Ruslán Ledesma-Garza:
Rabinizer 2: Small Deterministic Automata for LTL ∖ GU. ATVA 2013: 446-450
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KretinskyS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KretinskyS13
Jan Kretínský, Salomon Sickert:
MoTraS: A Tool for Modal Transition Systems and Their Extensions. ATVA 2013: 487-491
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChatterjeeGK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChatterjeeGK13
Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský:
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. CAV 2013: 559-575
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BenesDFKL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BenesDFKL13
Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay:
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR 2013: 76-90
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HermannsKK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HermannsKK13
Holger Hermanns, Jan Krcál, Jan Kretínský:
Compositional Verification and Optimization of Interactive Markov Chains. CONCUR 2013: 364-379
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/KretinskyS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/KretinskyS13
Jan Kretínský, Salomon Sickert:
On Refinements of Boolean and Parametric Modal Transition Systems. ICTAC 2013: 213-230
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/BrazdilKKKR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/BrazdilKKKR13
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Jan Kretínský, Vojtech Rehák:
On time-average limits in deterministic and stochastic petri nets. ICPE 2013: 421-422
2012
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GaiserKE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GaiserKE12
Andreas Gaiser, Jan Kretínský, Javier Esparza:
Rabinizer: Small Deterministic Automata for LTL(F, G). ATVA 2012: 72-76
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KretinskyE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KretinskyE12
Jan Kretínský, Javier Esparza:
Deterministic Automata for the (F, G)-Fragment of LTL. CAV 2012: 7-22
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BrazdilHKKR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BrazdilHKKR12
Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, Vojtech Rehák:
Verification of Open Interactive Markov Chains. FSTTCS 2012: 474-485
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BenesK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BenesK12
Nikola Benes, Jan Kretínský:
Modal Process Rewrite Systems. ICTAC 2012: 120-135
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BenesKLMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BenesKLMS12
Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba:
Dual-Priced Modal Transition Systems with Time Durations. LPAR 2012: 122-137
2011
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BenesCK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BenesCK11
Nikola Benes, Ivana Cerná, Jan Kretínský:
Modal Transition Systems: Composition and LTL Model Checking. ATVA 2011: 228-242
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BenesKLMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BenesKLMS11
Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba:
Parametric Modal Transition Systems. ATVA 2011: 275-289
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BrazdilKKR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BrazdilKKR11
Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák:
Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. CONCUR 2011: 140-155
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BrazdilKKKR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BrazdilKKKR11
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák:
Measuring performance of continuous-time stochastic processes using timed automata. HSCC 2011: 33-42
2010
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BrazdilKKKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BrazdilKKKR10
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák:
Stochastic Real-Time Games with Qualitative Timed Automata Objectives. CONCUR 2010: 207-221
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/memics/BenesK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/BenesK10
Nikola Benes, Jan Kretínský:
Process Algebra for Modal Transition Systemses. MEMICS 2010: 9-18
2009
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BrazdilFKKK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BrazdilFKKK09
Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera:
Continuous-Time Stochastic Games with Time-Bounded Reachability. FSTTCS 2009: 61-72
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BenesKLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BenesKLS09
Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba:
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BrazdilFKK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BrazdilFKK08
Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera:
The Satisfiability Problem for Probabilistic CTL. LICS 2008: 391-402

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i61]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-07656
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-07656
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr:
Learning Explainable and Better Performing Representations of POMDP Strategies. CoRR abs/2401.07656 (2024)
[i60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-09184
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-09184
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma:
Learning Algorithms for Verification of Markov Decision Processes. CoRR abs/2403.09184 (2024)
2023
[i59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-09930
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-09930
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger:
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. CoRR abs/2304.09930 (2023)
[i58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-15109
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-15109
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder:
Guessing Winning Policies in LTL Synthesis by Semantic Learning. CoRR abs/2305.15109 (2023)
[i57]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-16752
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-16752
Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretínský, Jakob Waibel:
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. CoRR abs/2305.16752 (2023)
[i56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-10891
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-10891
Calvin Chau, Jan Kretínský, Stefanie Mohr:
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. CoRR abs/2307.10891 (2023)
2022
[i55]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-09928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-09928
Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi:
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. CoRR abs/2201.09928 (2022)
[i54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-01465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-01465
Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, M. Pazhamalai:
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. CoRR abs/2206.01465 (2022)
[i53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-06677
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-06677
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek:
Abstraction-Based Segmental Simulation of Chemical Reaction Networks. CoRR abs/2206.06677 (2022)
[i52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-13660
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-13660
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger:
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. CoRR abs/2207.13660 (2022)
[i51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-14417
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-14417
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger:
Optimistic and Topological Value Iteration for Simple Stochastic Games. CoRR abs/2207.14417 (2022)
[i50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-12804
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-12804
Florian Jüngermann, Jan Kretínský, Maximilian Weininger:
Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces. CoRR abs/2208.12804 (2022)
[i49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-07773
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-07773
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt:
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. CoRR abs/2212.07773 (2022)
2021
[i48]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07202
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07202
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav:
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. CoRR abs/2101.07202 (2021)
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-14894
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-14894
Jan Kretínský:
LTL-Constrained Steady-State Policy Synthesis. CoRR abs/2105.14894 (2021)
2020
[i46]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-04991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-04991
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani:
dtControl: Decision Tree Learning Algorithms for Controller Representation. CoRR abs/2002.04991 (2020)
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-01419
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-01419
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger:
Automata Tutor v3. CoRR abs/2005.01419 (2020)
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-13735
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-13735
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr:
DeepAbstract: Neural Network Abstraction for Accelerating Verification. CoRR abs/2006.13735 (2020)
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-16732
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-16732
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh:
Formalizing and Guaranteeing* Human-Robot Interaction. CoRR abs/2006.16732 (2020)
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-04824
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-04824
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger:
An Anytime Algorithm for Reachability on Uncountable MDP. CoRR abs/2008.04824 (2020)
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-09465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-09465
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger:
Comparison of Algorithms for Simple Stochastic Games (Full Version). CoRR abs/2008.09465 (2020)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-08347
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-08347
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger:
Online Monitoring ω-Regular Properties in Unknown Markov Chains. CoRR abs/2010.08347 (2020)
2019
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-04403
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-04403
Pranav Ashok, Jan Kretínský, Maximilian Weininger:
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. CoRR abs/1905.04403 (2019)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-09914
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-09914
Milan Ceska, Jan Kretínský:
Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. CoRR abs/1905.09914 (2019)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-06931
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-06931
Jan Kretínský, Tobias Meggendorfer:
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. CoRR abs/1906.06931 (2019)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-08178
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-08178
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman:
Strategy Representation by Decision Trees with Linear Classifiers. CoRR abs/1906.08178 (2019)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-10640
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-10640
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger:
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. CoRR abs/1906.10640 (2019)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-12157
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-12157
Jan Kretínský, Alexander Manta, Tobias Meggendorfer:
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. CoRR abs/1907.12157 (2019)
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-05106
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-05106
Pranav Ashok, Jan Kretínský, Maximilian Weininger:
Approximating Values of Generalized-Reachability Stochastic Games. CoRR abs/1908.05106 (2019)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-08348
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-08348
Julia Eisentraut, Jan Kretínský, Alexej Rotar:
Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games. CoRR abs/1909.08348 (2019)
2018
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-00758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-00758
Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman:
Strategy Representation by Decision Trees in Reactive Synthesis. CoRR abs/1802.00758 (2018)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-04901
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04901
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger:
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. CoRR abs/1804.04901 (2018)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-08924
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-08924
Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin:
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. CoRR abs/1804.08924 (2018)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-00748
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-00748
Javier Esparza, Jan Kretínský, Salomon Sickert:
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. CoRR abs/1805.00748 (2018)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-02946
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-02946
Jan Kretínský, Tobias Meggendorfer:
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. CoRR abs/1805.02946 (2018)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1806-11418
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-11418
Jan Kretínský, Alexej Rotar:
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. CoRR abs/1806.11418 (2018)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-03296
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-03296
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert:
LTL Store: Repository of LTL formulae from literature and case studies. CoRR abs/1807.03296 (2018)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-09641
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-09641
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský:
Continuous-Time Markov Decisions based on Partial Exploration. CoRR abs/1807.09641 (2018)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-03299
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-03299
Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka:
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. CoRR abs/1809.03299 (2018)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/JansenKKK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/JansenKKK18
Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, Jan Kretínský:
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). Dagstuhl Reports 8(3): 74-93 (2018)
2017
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KretinskyMWW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KretinskyMWW17
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger:
Index appearance record for transforming Rabin automata into parity automata. CoRR abs/1701.05738 (2017)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/EsparzaKRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsparzaKRS17
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert:
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. CoRR abs/1701.06103 (2017)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AshokCDKM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AshokCDKM17
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer:
Value Iteration for Long-run Average Reward in Markov Decision Processes. CoRR abs/1705.02326 (2017)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KretinskyM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KretinskyM17
Jan Kretínský, Tobias Meggendorfer:
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. CoRR abs/1707.01859 (2017)
2016
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DacaHKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DacaHKP16
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Linear Distances between Markov Chains. CoRR abs/1605.00186 (2016)
2015
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChatterjeeKK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChatterjeeKK15
Krishnendu Chatterjee, Zuzana Komárková, Jan Kretínský:
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. CoRR abs/1502.00611 (2015)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BrazdilCCFK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrazdilCCFK15
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský:
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CoRR abs/1502.02834 (2015)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DacaHKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DacaHKP15
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Faster Statistical Model Checking for Unbounded Temporal Properties. CoRR abs/1504.05739 (2015)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ForejtKK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ForejtKK15
Vojtech Forejt, Jan Krcál, Jan Kretínský:
Controller synthesis for MDPs and Frequency LTL$\setminus$GU. CoRR abs/1509.04116 (2015)
2014
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BrazdilCCFKKPU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrazdilCCFKKPU14
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Verification of Markov Decision Processes using Learning Algorithms. CoRR abs/1402.2967 (2014)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/EsparzaK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsparzaK14
Javier Esparza, Jan Kretínský:
From LTL to Deterministic Automata: A Safraless Compositional Approach. CoRR abs/1402.3388 (2014)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HermannsKK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HermannsKK14
Holger Hermanns, Jan Krcál, Jan Kretínský:
Probabilistic Bisimulation: Naturally on Distributions. CoRR abs/1404.5084 (2014)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FahrenbergKLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FahrenbergKLT14
Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications. CoRR abs/1408.1256 (2014)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SvorenovaKCCCB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SvorenovaKCCCB14
María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta:
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. CoRR abs/1410.5387 (2014)
2013
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-5278
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-5278
Jan Kretínský, Salomon Sickert:
On Refinements of Boolean and Parametric Modal Transition Systems. CoRR abs/1304.5278 (2013)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-5281
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-5281
Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský:
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. CoRR abs/1304.5281 (2013)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HermannsKK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HermannsKK13
Holger Hermanns, Jan Krcál, Jan Kretínský:
Compositional Verification and Optimization of Interactive Markov Chains. CoRR abs/1305.7332 (2013)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BenesDFKL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenesDFKL13
Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay:
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR abs/1306.0741 (2013)
2012
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1204-5057
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-5057
Jan Kretínský, Javier Esparza:
Deterministic Automata for the (F,G)-fragment of LTL. CoRR abs/1204.5057 (2012)
2011
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1101-4204
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4204
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák:
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata. CoRR abs/1101.4204 (2011)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1106-1424
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1424
Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák:
Fixed-delay Events in Generalized Semi-Markov Processes Revisited. CoRR abs/1106.1424 (2011)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.