Research output per year
Research output per year
- 16 results
Search results
-
2024
Abstraction-based segmental simulation of reaction networks using adaptive memoization
Helfrich, M., Andriushchenko, R., Češka, M., Křetínský, J., Martiček, Š. & Šafránek, D., Dec 2024, In: BMC Bioinformatics. 25, 1, 350.Research output: Contribution to journal › Article › peer-review
Open Access -
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
Agarwal, C., Guha, S., Křetínský, J. & Pazhamalai, M., 2024, (Accepted/In press) In: Formal Methods in System Design.Research output: Contribution to journal › Article › peer-review
Open Access -
2023
Algebraically explainable controllers: decision trees and support vector machines join forces
Jüngermann, F., Křetínský, J. & Weininger, M., Jun 2023, In: International Journal on Software Tools for Technology Transfer. 25, 3, p. 249-266 18 p.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
2022
Comparison of algorithms for simple stochastic games
Křetínský, J., Ramneantu, E., Slivinskiy, A. & Weininger, M., Nov 2022, In: Information and Computation. 289, 104885.Research output: Contribution to journal › Article › peer-review
Open Access9 Scopus citations -
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Esparza, J., Křetínský, J., Raskin, J. F. & Sickert, S., Aug 2022, In: International Journal on Software Tools for Technology Transfer. 24, 4, p. 635-659 25 p.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
Value iteration for simple stochastic games: Stopping criterion and learning algorithm
Eisentraut, J., Kelmendi, E., Křetínský, J. & Weininger, M., May 2022, In: Information and Computation. 285, 104886.Research output: Contribution to journal › Article › peer-review
Open Access11 Scopus citations -
2021
Formalizing and guaranteeing human-robot interaction
Kress-Gazit, H., Eder, K., Hoffman, G., Admoni, H., Argall, B., Ehlers, R., Heckman, C., Jansen, N., Knepper, R., KÅ™etínský, J., Levy-Tzedek, S., Li, J., Murphey, T., Riek, L. & Sadigh, D., Sep 2021, In: Communications of the ACM. 64, 9, p. 78-84 7 p.Research output: Contribution to journal › Article › peer-review
Open Access24 Scopus citations -
2020
A Unified Translation of Linear Temporal Logic to ω-Automata
Esparza, J., Kretínský, J. & Sickert, S., Nov 2020, In: Journal of the ACM. 67, 6, 33.Research output: Contribution to journal › Article › peer-review
Open Access12 Scopus citations -
Logical vs. behavioural specifications
Beneš, N., Fahrenberg, U., Křetínský, J., Legay, A. & Traonouez, L. M., Apr 2020, In: Information and Computation. 271, 104487.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
Of cores: A partial-exploration framework for Markov decision processes
Křetínský, J. & Meggendorfer, T., 2020, In: Logical Methods in Computer Science. 16, 4, p. 3:1-3:31Research output: Contribution to journal › Article › peer-review
13 Scopus citations -
2018
Compositionality for quantitative specifications
Fahrenberg, U., Křetínský, J., Legay, A. & Traonouez, L. M., 1 Feb 2018, In: Soft Computing. 22, 4, p. 1139-1158 20 p.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
2017
Faster statistical model checking for unbounded temporal properties
Daca, P., Henzinger, T. A., Křetínský, J. & Petrov, T., May 2017, In: ACM Transactions on Computational Logic. 18, 2, 12.Research output: Contribution to journal › Article › peer-review
Open Access20 Scopus citations -
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
Svoreňová, M., Křetínský, J., Chmelík, M., Chatterjee, K., Černá, I. & Belta, C., 1 Feb 2017, In: Nonlinear Analysis: Hybrid Systems. 23, p. 230-253 24 p.Research output: Contribution to journal › Article › peer-review
Open Access11 Scopus citations -
Unifying two views on multiple mean-payoff objectives in markov decision processes
Chatterjee, K., Křetínská, Z. & Křetínský, J., 2017, In: Logical Methods in Computer Science. 13, 2, 15.Research output: Contribution to journal › Article › peer-review
22 Scopus citations -
2016
From LTL to deterministic automata: A safraless compositional approach
Esparza, J., Křetínský, J. & Sickert, S., 1 Dec 2016, In: Formal Methods in System Design. 49, 3, p. 219-271 53 p.Research output: Contribution to journal › Article › peer-review
23 Scopus citations -
2013
Continuous-time stochastic games with time-bounded reachability
Brázdil, T., Forejt, V., Krčál, J., Křetínský, J. & Kučera, A., 2013, In: Information and Computation. 224, p. 46-70 25 p.Research output: Contribution to journal › Article › peer-review
Open Access16 Scopus citations