Zum Inhalt springen

  1. Kwiatkowska, Marta [VerfasserIn]; Norman, Gethin [VerfasserIn]; Parker, David [VerfasserIn]; Santos, Gabriel [VerfasserIn]; Yan, Rui [VerfasserIn] ; Marta Kwiatkowska and Gethin Norman and David Parker and Gabriel Santos and Rui Yan [MitwirkendeR]

    Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  5. Rohr, Christian [VerfasserIn] ; Heiner, Monika [Sonstige Person, Familie und Körperschaft]; Marwan, Wolfgang [Sonstige Person, Familie und Körperschaft]; Gilbert, David [Sonstige Person, Familie und Körperschaft]

    Simulative analysis of coloured extended stochastic Petri nets

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cottbus: BTU Cottbus - Senftenberg, 2017

  6. Teige, Tino [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]

    Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: IBIT - Universitätsbibliothek, 2012

  7. Weininger, Maximilian Ph [VerfasserIn] ; Kretinsky, Jan [AkademischeR BetreuerIn]; Kretinsky, Jan [Sonstige Person, Familie und Körperschaft]; Raskin, Jean-Francois [Sonstige Person, Familie und Körperschaft]

    Solving Stochastic Games Reliably

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München: Universitätsbibliothek der TU München, 2022

  9. Nejati, Ameneh [VerfasserIn] ; Buss, Martin [AkademischeR BetreuerIn]; Arcak, Murtat [Sonstige Person, Familie und Körperschaft]; Zamani, Majid [Sonstige Person, Familie und Körperschaft]; Buss, Martin [Sonstige Person, Familie und Körperschaft]

    Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München: Universitätsbibliothek der TU München, 2023

  10. Fearnley, John [VerfasserIn]; Gairing, Martin [VerfasserIn]; Mnich, Matthias [VerfasserIn]; Savani, Rahul [VerfasserIn] ; Technische Universität Hamburg, Technische Universität Hamburg Institute for Algorithms and Complexity

    Reachability switching games

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Apr. 22, 2021

    Erschienen in: Logical methods in computer science ; 17(2021), 2, Seite 10:1-10:29

  11. Ilie, Catalin-Andrei [VerfasserIn]; Worrell, James Ben [VerfasserIn] ; Catalin-Andrei Ilie and James Ben Worrell [MitwirkendeR]

    Parametric Model Checking Continuous-Time Markov Chains

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  12. Association for Computing Machinery-Digital Library

    Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2019

    Erschienen in: ACM Digital Library- ACM Other conferences

  13. Fearnley, John [VerfasserIn]; Gairing, Martin [VerfasserIn]; Mnich, Matthias [VerfasserIn]; Savani, Rahul [VerfasserIn] ; John Fearnley and Martin Gairing and Matthias Mnich and Rahul Savani [MitwirkendeR]

    Reachability Switching Games

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  14. Bertrand, Nathalie [VerfasserIn]; Genest, Blaise [VerfasserIn] ; Nathalie Bertrand and Blaise Genest [MitwirkendeR]

    Minimal Disclosure in Partially Observable Markov Decision Processes

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  15. Aljazzar, Husain [VerfasserIn]; Leue, Stefan [VerfasserIn]

    Directed explicit state-space search in the generation of counterexamples for stochastic model checking

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KOPS - The Institutional Repository of the University of Konstanz, 2010

    Erschienen in: IEEE Transactions on Software Engineering. 2010, 36(1), pp. 37-60. ISSN 0098-5589. Available under: doi:10.1109/TSE.2009.57

  16. Kattenbelt, Mark [VerfasserIn]; Huth, Michael [VerfasserIn] ; Mark Kattenbelt and Michael Huth [MitwirkendeR]

    Verification and Refutation of Probabilistic Specifications via Games

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009

  17. Schwarick, Martin [VerfasserIn] ; Heiner, Monika [AkademischeR BetreuerIn]; Donatelli, Susanna [AkademischeR BetreuerIn]; Kemper, Peter [AkademischeR BetreuerIn]

    Symbolic on-the-fly analysis of stochastic Petri nets

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cottbus: BTU Cottbus - Senftenberg, 2014

  18. Bazille, Hugo [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Fabre, Éric [MitwirkendeR]; Genest, Blaise [MitwirkendeR]

    Detection and quantification of events in stochastic systems ; Détection et quantification d’événements dans les systèmes stochastiques

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-12-02

  20. Kuntz, Matthias [VerfasserIn]

    Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.