Informatik 7 - Professur für Formale Methoden der Softwarezuverlässigkeit

Filter
Konferenzbeitrag

Suchergebnisse

  • 2025

    1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization

    Azeem, M., Chakraborty, D., Kanav, S., Křetínský, J., Mohagheghi, M., Mohr, S. & Weininger, M., 2025, Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 97-120 24 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15530 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 218-228 11 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15191 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • Statistical Model Checking the 2024 Edition!

    Kanav, S., Křetínský, J. & Larsen, K. G., 2025, Bridging the Gap Between AI and Reality - 2nd International Conference, AISoLA 2024, Proceedings. Steffen, B. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 303-311 9 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15217 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 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 mehr, Volk, M., Weininger, M. & Zhang, Z., 2025, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 90-146 57 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14550 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 299-319 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14571 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 265-279 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14682 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • 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 Mai 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).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    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 Mai 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).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

    Saveri, G., Nenzi, L., Bortolussi, L. & Křetínský, J., 16 Okt. 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. (Hrsg.). IOS Press BV, S. 1381-1388 8 S. (Frontiers in Artificial Intelligence and Applications; Band 392).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 390-414 25 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13964 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    2 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 55-73 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14446 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    1 Zitat (Scopus)

  • 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; Band 2023-March).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    1 Zitat (Scopus)

  • 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; Band 2023-June).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    5 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 401-421 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14215 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    3 Zitate (Scopus)
  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 41-60 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13447 LNBI).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    3 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 281-300 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13243 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    7 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 285-302 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13505 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    4 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 3-25 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13372 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    4 Zitate (Scopus)

  • 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., S. 4347-4354 8 S. (Proceedings - IEEE International Conference on Robotics and Automation).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    3 Zitate (Scopus)
  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 214-234 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12819 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    2 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 326-345 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12652 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    16 Zitate (Scopus)

  • 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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; Band 203).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    2 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 254-264 11 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12974 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    6 Zitate (Scopus)

  • 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., S. 3786-3793 8 S. (Proceedings of the IEEE Conference on Decision and Control; Band 2021-December).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 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. (Hrsg.). International Joint Conferences on Artificial Intelligence, S. 4104-4111 8 S. (IJCAI International Joint Conference on Artificial Intelligence).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    4 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 216-241 26 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12479 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    23 Zitate (Scopus)

  • 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. (Hrsg.). MIT Press Journals, (Robotics: Science and Systems).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    4 Zitate (Scopus)
  • 2020

    Approximating Values of Generalized-Reachability Stochastic Games

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

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    13 Zitate (Scopus)

  • 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. (Hrsg.). Springer, S. 3-14 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12225 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    12 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 92-107 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12302 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    27 Zitate (Scopus)

  • 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).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    2 Zitate (Scopus)

  • 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).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    21 Zitate (Scopus)

  • 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. (Hrsg.). Springer, S. 653-666 14 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12224 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    3 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 331-349 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12476 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    3 Zitate (Scopus)
  • 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. (Hrsg.). Springer Verlag, S. 203-221 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11785 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    1 Zitat (Scopus)

  • 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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs; Band 140).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    5 Zitate (Scopus)

  • 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. (Hrsg.). Springer Verlag, S. 497-519 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11561 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    48 Zitate (Scopus)

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

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

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    11 Zitate (Scopus)

  • 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. (Hrsg.). Springer, S. 404-422 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11781 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    5 Zitate (Scopus)

  • 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. (Hrsg.). Springer Verlag, S. 475-496 22 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11561 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    4 Zitate (Scopus)

  • 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. (Hrsg.). Springer, S. 337-341 5 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11773 LNBI).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 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. (Hrsg.). Springer Verlag, S. 147-164 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11785 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    24 Zitate (Scopus)

  • 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. (Hrsg.). Springer Verlag, S. 109-128 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11785 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    6 Zitate (Scopus)

  • 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. (Hrsg.). Springer Verlag, S. 69-92 24 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11429 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    37 Zitate (Scopus)
  • 2018

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

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

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    11 Zitate (Scopus)

  • 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. (Hrsg.). Springer Verlag, S. 317-334 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11138 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    12 Zitate (Scopus)

  • 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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; Band 118).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    5 Zitate (Scopus)

  • 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. (Hrsg.). Springer Verlag, S. 322-335 14 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11245 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    8 Zitate (Scopus)

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

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

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    23 Zitate (Scopus)

  • 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. (Hrsg.). Springer Verlag, S. 543-550 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11138 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    50 Zitate (Scopus)