Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Tim Quatmann"'
Publikováno v:
International journal on software tools for technology transfer, 24(4), 589-610. Springer
International journal on software tools for technology transfer 24(4), 589-610 (2021). doi:10.1007/s10009-021-00633-z
International journal on software tools for technology transfer 24(4), 589-610 (2021). doi:10.1007/s10009-021-00633-z
International journal on software tools for technology transfer (2021). doi:10.1007/s10009-021-00633-z
Published by Springer, Berlin; Heidelberg [u.a.]
Published by Springer, Berlin; Heidelberg [u.a.]
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8882494c6fdc1eb2551f73225e4641a
https://research.utwente.nl/en/publications/d60b5558-cb6f-4b6b-806f-25da1c587381
https://research.utwente.nl/en/publications/d60b5558-cb6f-4b6b-806f-25da1c587381
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263
Cham : Springer International Publishing, Lecture Notes in Computer Science 13244, 22-40 (2022). doi:10.1007/978-3-030-99527-0_2
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, Munich, Germany, April 2–7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu
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, Munich, Germany, April 2–7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, Munich, Germany, 2022-04-02-2022-04-07European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, 2022-04-02-2022-04-07
Cham : Springer International Publishing, Lecture Notes in Computer Science 13244, 22-40 (2022). doi:10.1007/978-3-030-99527-0_2
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, Munich, Germany, April 2–7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu
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, Munich, Germany, April 2–7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, Munich, Germany, 2022-04-02-2022-04-07European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, 2022-04-02-2022-04-07
We consider the problem: is the optimal expected total reward to reach a goal state in a partially observable Markov decision process (POMDP) below a given threshold? We tackle this -- generally undecidable -- problem by computing under-approximation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::225fa0710ffb764213b007330973a101
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems
Cham : Springer International Publishing, Lecture Notes in Computer Science 12078, Theoretical Computer Science and General Issues 346-364 (2020). doi:10.1007/978-3-030-45190-5_19
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker26. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, online, 2020-04-25-2020-04-30European Joint Conferences on Theory and Practice of Software, ETAPS 2020, 2020-04-25-2020-04-30
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030451899
TACAS (1)
Cham : Springer International Publishing, Lecture Notes in Computer Science 12078, Theoretical Computer Science and General Issues 346-364 (2020). doi:10.1007/978-3-030-45190-5_19
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker26. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, online, 2020-04-25-2020-04-30European Joint Conferences on Theory and Practice of Software, ETAPS 2020, 2020-04-25-2020-04-30
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030451899
TACAS (1)
Tools and Algorithms for the Construction and Analysis of Systems / Biere, Armin (Editor) [https://orcid.org/0000-0001-7170-9242] ; Cham : Springer International Publishing, 2020, Chapter 19 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-45189-9=978-3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4f57b562e97936b78c704ed998a547a
https://doi.org/10.26226/morressier.604907f51a80aac83ca25d9a
https://doi.org/10.26226/morressier.604907f51a80aac83ca25d9a
Autor:
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctor
Autor:
Budde, Carlos E., Arnd, Hartmanns, Michaela, Klauck, Jan, Křetínský, David, Parker, Tim, Quatmann, Andrea, Turrini, Zhen, Zhang
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3432::92e53269891404fd6e5481c1fae651ba
https://link.springer.com/chapter/10.1007/978-3-030-83723-5_15
https://link.springer.com/chapter/10.1007/978-3-030-83723-5_15
Publikováno v:
Journal of automated reasoning, 64(7), 1483-1522. Springer
Journal of automated reasoning 64(7), 1483-1522 (2020). doi:10.1007/s10817-020-09574-9 special issue: "Special Issue: Selected Extended Papers from IJCAR 2018 / Guest Editors: Didier Galmiche, Stephan Schulz and Roberto Sebastiani & Special Issue: Selected and Extended Papers from TACAS 2018 / Guest Editors: Dirk Beyer and Marieke Huisman / Issue editors: Didier Galmiche, Stephan Schulz, Roberto Sebastiani, Dirk Beyer, Marieke Huisman"
9. International Joint Conference on Automated Reasoning, IJCAR 2018, Oxford, UK, 2018-07-14-2018-07-1724. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, Thessaloniki, Greece, 2018-04-14-2018-04-20
Journal of automated reasoning 64(7), 1483-1522 (2020). doi:10.1007/s10817-020-09574-9 special issue: "Special Issue: Selected Extended Papers from IJCAR 2018 / Guest Editors: Didier Galmiche, Stephan Schulz and Roberto Sebastiani & Special Issue: Selected and Extended Papers from TACAS 2018 / Guest Editors: Dirk Beyer and Marieke Huisman / Issue editors: Didier Galmiche, Stephan Schulz, Roberto Sebastiani, Dirk Beyer, Marieke Huisman"
9. International Joint Conference on Automated Reasoning, IJCAR 2018, Oxford, UK, 2018-07-14-2018-07-1724. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, Thessaloniki, Greece, 2018-04-14-2018-04-20
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, Thessaloniki, Greece, 14 Apr 2018 - 20 Apr 2018; Journal of automated reasoning 64(7), 1483-1522 (2020). doi:10.1007/s10817-020-09574-9 sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39970ea825e0e5c5000f7c8a9c06b0ba
https://research.utwente.nl/en/publications/99db425f-516e-47a2-a329-d900628eb5cc
https://research.utwente.nl/en/publications/99db425f-516e-47a2-a329-d900628eb5cc
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783030591519
ATVA
ATVA
The verification problem in MDPs asks whether, for any policy resolving the nondeterminism, the probability that something bad happens is bounded by some given threshold. This verification problem is often overly pessimistic, as the policies it consi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa7cad18a9d0b37970570692fc5d7d36
https://doi.org/10.1007/978-3-030-59152-6_16
https://doi.org/10.1007/978-3-030-59152-6_16
Autor:
Joost-Pieter Katoen, Tim Quatmann
Publikováno v:
Computer Aided Verification ISBN: 9783319961446
CAV (1)
Cham : Springer, Lecture notes in computer science 10981, 643-661 (2018). doi:10.1007/978-3-319-96145-3_37
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher30. International Conference on Computer Aided Verification, CAV 2018, Oxford, UK, 2018-07-14-2018-07-17
CAV (1)
Cham : Springer, Lecture notes in computer science 10981, 643-661 (2018). doi:10.1007/978-3-319-96145-3_37
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher30. International Conference on Computer Aided Verification, CAV 2018, Oxford, UK, 2018-07-14-2018-07-17
Computing reachability probabilities is at the heart of probabilistic model checking. All model checkers compute these probabilities in an iterative fashion using value iteration. This technique approximates a fixed point from below by determining re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a128f0a95811b74b3b932ba72e19347
Markov automata combine non-determinism, probabilistic branching, and exponentially distributed delays. This compositional variant of continuous-time Markov decision processes is used in reliability engineering, performance evaluation and stochastic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f84e3f6de54e4c79e7e44f91d6f6bdd
http://arxiv.org/abs/1704.06648
http://arxiv.org/abs/1704.06648
Autor:
Tim Quatmann
Markov automata (MAs) constitute a highly expressive formalism to model systems exhibiting nondeterminism, probabilistic branching, and continuously distributed random delays. Multi-objective model checking aims to analyze possible trade-offs between
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2649859ac60ab6153112c1fdfe070b28