Informatics 7 - Associate Professorship of Formal Methods for Software Reliability

Filter
Conference contribution

Search results

  • 2025

    Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces

    Hashemi, V., Křetínský, J., Rieder, S., Schön, T. & Vorhoff, J., 2025, Runtime Verification - 24th International Conference, RV 2024, Proceedings. Ábrahám, E. & Abbas, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 218-228 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15191 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report

    Andriushchenko, R., Bork, A., Budde, C. E., Češka, M., Grover, K., Hahn, E. M., Hartmanns, A., Israelsen, B., Jansen, N., Jeppson, J., Junges, S., Köhl, M. A., Könighofer, B., Křetínský, J., Meggendorfer, T., Parker, D., Pranger, S., Quatmann, T., Ruijters, E. & Taylor, L. & 3 others, Volk, M., Weininger, M. & Zhang, Z., 2025, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 90-146 57 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14550 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2024

    Learning Explainable and Better Performing Representations of POMDP Strategies

    Bork, A., Chakraborty, D., Grover, K., Křetínský, J. & Mohr, S., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 299-319 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14571 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Monitizer: Automating Design and Evaluation of Neural Network Monitors

    Azeem, M., Grobelna, M., Kanav, S., Křetínský, J., Mohr, S. & Rieder, S., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 265-279 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14682 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints

    Bals, S., Evangelidis, A., Křetínský, J. & Waibel, J., 14 May 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, 24. (HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints

    Bals, S., Evangelidis, A., Křetínský, J. & Waibel, J., 14 May 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, 33. (HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

    Saveri, G., Nenzi, L., Bortolussi, L. & Křetínský, J., 16 Oct 2024, ECAI 2024 - 27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems, PAIS 2024, Proceedings. Endriss, U., Melo, F. S., Bach, K., Bugarin-Diz, A., Alonso-Moral, J. M., Barro, S. & Heintz, F. (eds.). IOS Press BV, p. 1381-1388 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 392).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 2023

    Guessing Winning Policies in LTL Synthesis by Semantic Learning

    Křetínský, J., Meggendorfer, T., Prokop, M. & Rieder, S., 2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 390-414 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13964 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations

  • Learning Attack Trees by Genetic Algorithms

    Dorfhuber, F., Eisentraut, J. & Křetínský, J., 2023, Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Proceedings. Ábrahám, E., Dubslaff, C. & Tarifa, S. L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 55-73 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14446 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Model Checking for Proving and Improving Fault Tolerance of Satellites

    Kiesbye, J., Grover, K. & Křetínský, J., 2023, 2023 IEEE Aerospace Conference, AERO 2023. IEEE Computer Society, (IEEE Aerospace Conference Proceedings; vol. 2023-March).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives

    Kretinsky, J., Meggendorfer, T. & Weininger, M., 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. Institute of Electrical and Electronics Engineers Inc., (Proceedings - Symposium on Logic in Computer Science; vol. 2023-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    5 Scopus citations

  • Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks

    Chau, C., Křetínský, J. & Mohr, S., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 401-421 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14215 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 2022

    Abstraction-Based Segmental Simulation of Chemical Reaction Networks

    Helfrich, M., Češka, M., Křetínský, J. & Martiček, Š., 2022, Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Proceedings. Petre, I. & Păun, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 41-60 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13447 LNBI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations

  • Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

    Bortolussi, L., Gallo, G. M., Křetínský, J. & Nenzi, L., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 281-300 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13243 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    7 Scopus citations

  • Optimistic and Topological Value Iteration for Simple Stochastic Games

    Azeem, M., Evangelidis, A., Křetínský, J., Slivinskiy, A. & Weininger, M., 2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer Science and Business Media Deutschland GmbH, p. 285-302 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP

    Agarwal, C., Guha, S., Křetínský, J. & Muruganandham, P., 2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-25 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13372 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations

  • Planning via model checking with decision-tree controllers

    Kiesbye, J., Grover, K., Ashok, P. & Kretinsky, J., 2022, 2022 IEEE International Conference on Robotics and Automation, ICRA 2022. Institute of Electrical and Electronics Engineers Inc., p. 4347-4354 8 p. (Proceedings - IEEE International Conference on Robotics and Automation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 2021

    Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions

    Eisentraut, J., Holzer, S., Klioba, K., Křetínský, J., Pin, L. & Wagner, A., 2021, Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Proceedings. Cerone, A. & Olveczky, P. C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 214-234 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12819 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts⋆

    Ashok, P., Jackermeier, M., Křetínský, J., Weinhuber, C., Weininger, M. & Yadav, M., 2021, Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. Groote, J. F. & Larsen, K. G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 326-345 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12652 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations

  • Enforcing ω-Regular Properties in Markov Chains by Restarting

    Esparza, J., Kiefer, S., Kretínský, J. & Weininger, M., 1 Aug 2021, 32nd International Conference on Concurrency Theory, CONCUR 2021. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 203).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks

    Hashemi, V., Křetínský, J., Mohr, S. & Seferis, E., 2021, Runtime Verification - 21st International Conference, RV 2021, Proceedings. Feng, L. & Fisman, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 254-264 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12974 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games

    Weininger, M., Grover, K., Misra, S. & Kretinsky, J., 2021, 60th IEEE Conference on Decision and Control, CDC 2021. Institute of Electrical and Electronics Engineers Inc., p. 3786-3793 8 p. (Proceedings of the IEEE Conference on Decision and Control; vol. 2021-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • LTL-Constrained Steady-State Policy Synthesis

    Kretínský, J., 2021, Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021. Zhou, Z.-H. (ed.). International Joint Conferences on Artificial Intelligence, p. 4104-4111 8 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations

  • On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

    Budde, C. E., Hartmanns, A., Klauck, M., Křetínský, J., Parker, D., Quatmann, T., Turrini, A. & Zhang, Z., 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 216-241 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12479 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    20 Scopus citations

  • Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments

    Grover, K., Barbosa, F. S., Tumova, J. & Křetínský, J., 2021, Robotics: Science and Systems XVII. Shell, D. A., Toussaint, M. & Hsieh, M. A. (eds.). MIT Press Journals, (Robotics: Science and Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations
  • 2020

    Approximating Values of Generalized-Reachability Stochastic Games

    Ashok, P., Chatterjee, K., Kå™etínský, J., Weininger, M. & Winkler, T., 8 Jul 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery, p. 102-115 14 p. 3394761. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    13 Scopus citations

  • Automata Tutor v3

    D’Antoni, L., Helfrich, M., Kretinsky, J., Ramneantu, E. & Weininger, M., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12225 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    9 Scopus citations

  • DeepAbstract: Neural Network Abstraction for Accelerating Verification

    Ashok, P., Hashemi, V., Křetínský, J. & Mohr, S., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer Science and Business Media Deutschland GmbH, p. 92-107 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12302 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    27 Scopus citations

  • Demo: dtControl: Decision tree learning algorithms for controller representation

    Ashok, P., Jackermeier, M., Jagtap, P., KÅetínský, J., Weininger, M. & Zamani, M., 22 Apr 2020, HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week. Association for Computing Machinery, Inc, (HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations

  • DtControl: Decision tree learning algorithms for controller representation

    Ashok, P., Jackermeier, M., Jagtap, P., KÅetínský, J., Weininger, M. & Zamani, M., 22 Apr 2020, HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week. Association for Computing Machinery, Inc, (HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    19 Scopus citations

  • SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

    Češka, M., Chau, C. & Křetínský, J., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 653-666 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations

  • Statistical Model Checking: Black or White?

    Ashok, P., Daca, P., Křetínský, J. & Weininger, M., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 331-349 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 2019

    Expected cost analysis of attack-defense trees

    Eisentraut, J. & Křetínský, J., 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Springer Verlag, p. 203-221 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11785 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Of cores: A partial-exploration framework for Markov decision processes

    Křetínský, J. & Meggendorfer, T., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games

    Ashok, P., Křetínský, J. & Weininger, M., 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 497-519 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    43 Scopus citations

  • Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes

    Weininger, M., Meggendorfer, T. & Kretinsky, J., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 2284-2291 8 p. 9029460. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    10 Scopus citations

  • Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis

    Křetínský, J., Manta, A. & Meggendorfer, T., 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (eds.). Springer, p. 404-422 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    5 Scopus citations

  • Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks

    Češka, M. & Křetínský, J., 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 475-496 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations

  • Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract)

    Češka, M. & Křetínský, J., 2019, Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Proceedings. Bortolussi, L. & Sanguinetti, G. (eds.). Springer, p. 337-341 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11773 LNBI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • SOS: Safe, optimal and small strategies for hybrid markov decision processes

    Ashok, P., Křetínský, J., Larsen, K. G., Le Coënt, A., Taankvist, J. H. & Weininger, M., 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Springer Verlag, p. 147-164 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11785 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    22 Scopus citations

  • Strategy representation by decision trees with linear classifiers

    Ashok, P., Brázdil, T., Chatterjee, K., Křetínský, J., Lampert, C. H. & Toman, V., 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Springer Verlag, p. 109-128 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11785 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    6 Scopus citations

  • The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)

    Hahn, E. M., Hartmanns, A., Hensel, C., Klauck, M., Klein, J., Křetínský, J., Parker, D., Quatmann, T., Ruijters, E. & Steinmetz, M., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Huisman, M., Kordon, F. & Beyer, D. (eds.). Springer Verlag, p. 69-92 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    36 Scopus citations
  • 2018

    Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes

    Ketínský, J. & Meggendorfer, T., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., p. 609-618 10 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    11 Scopus citations

  • Continuous-Time Markov Decisions Based on Partial Exploration

    Ashok, P., Butkova, Y., Hermanns, H. & Křetínský, J., 2018, Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Proceedings. Wang, C. & Lahiri, S. K. (eds.). Springer Verlag, p. 317-334 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11138 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations

  • Learning-based mean-payo optimization in an unknown MDP under omega-regular constraints

    Kretínský, J., Pérez, G. A. & Raskin, J. F., 1 Aug 2018, 29th International Conference on Concurrency Theory, CONCUR 2018. Schewe, S. & Zhang, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 118).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Monte carlo tree search for verifying reachability in markov decision processes

    Ashok, P., Brázdil, T., Křetínský, J. & Slámečka, O., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 322-335 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • One theorem to rule them all: A unified translation of LTL into -Automata

    Esparza, J., Ketínský, J. & Sickert, S., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., p. 384-393 10 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    22 Scopus citations

  • Owl: A Library for ω-Words, Automata, and LTL

    Křetínský, J., Meggendorfer, T. & Sickert, S., 2018, Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Proceedings. Wang, C. & Lahiri, S. K. (eds.). Springer Verlag, p. 543-550 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11138 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    49 Scopus citations

  • Rabinizer 4: From LTL to your favourite deterministic automaton

    Křetínský, J., Meggendorfer, T., Sickert, S. & Ziegler, C., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer Verlag, p. 567-577 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    31 Scopus citations

  • Strategy representation by decision trees in reactive synthesis

    Brázdil, T., Chatterjee, K., Křetínský, J. & Toman, V., 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer Verlag, p. 385-407 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations