Publikationen pro Jahr
Publikationen pro Jahr
- 16 Ergebnisse
Suchergebnisse
-
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., Dez. 2024, in: BMC Bioinformatics. 25, 1, 350.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
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, (Angenommen/Im Druck) in: Formal Methods in System Design.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
2023
Algebraically explainable controllers: decision trees and support vector machines join forces
Jüngermann, F., Křetínský, J. & Weininger, M., Juni 2023, in: International Journal on Software Tools for Technology Transfer. 25, 3, S. 249-266 18 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access3 Zitate (Scopus) -
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.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access10 Zitate (Scopus) -
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, S. 635-659 25 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access4 Zitate (Scopus) -
Value iteration for simple stochastic games: Stopping criterion and learning algorithm
Eisentraut, J., Kelmendi, E., Křetínský, J. & Weininger, M., Mai 2022, in: Information and Computation. 285, 104886.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access11 Zitate (Scopus) -
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., Sept. 2021, in: Communications of the ACM. 64, 9, S. 78-84 7 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access25 Zitate (Scopus) -
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.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access13 Zitate (Scopus) -
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.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access3 Zitate (Scopus) -
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, S. 3:1-3:31Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
14 Zitate (Scopus) -
2018
Compositionality for quantitative specifications
Fahrenberg, U., Křetínský, J., Legay, A. & Traonouez, L. M., 1 Feb. 2018, in: Soft Computing. 22, 4, S. 1139-1158 20 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access3 Zitate (Scopus) -
2017
Faster statistical model checking for unbounded temporal properties
Daca, P., Henzinger, T. A., Křetínský, J. & Petrov, T., Mai 2017, in: ACM Transactions on Computational Logic. 18, 2, 12.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access20 Zitate (Scopus) -
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, S. 230-253 24 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access11 Zitate (Scopus) -
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.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
22 Zitate (Scopus) -
2016
From LTL to deterministic automata: A safraless compositional approach
Esparza, J., Křetínský, J. & Sickert, S., 1 Dez. 2016, in: Formal Methods in System Design. 49, 3, S. 219-271 53 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
23 Zitate (Scopus) -
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, S. 46-70 25 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access16 Zitate (Scopus)