Generation of Counterexamples for Model Checking of Markov Decision Processes
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 2009 Sixth International Conference on the Quantitative Evaluation of Systems. - IEEE, 2009. - S. 197-206. - ISBN 978-0-7695-3808-2
In: 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST), 13. Sep 2009 - 16. Sep 2009, Budapest, Hungary
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2010
- Urheber
-
Aljazzar, Husain
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-opus-105327
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:55 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Aljazzar, Husain
- Leue, Stefan
- Bibliothek der Universität Konstanz
Entstanden
- 2010
Ähnliche Objekte (12)
Counterexamples for Model Checking of Markov Decision Processes
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Integer linear programming-based property checking for asynchronous reactive systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Explicit state model checking in the development process for interlocking software systems
Introductory paper : [zu: Special section on the algorithmics of software model checking]
Trail-Directed Model Checking
Counterexamples for Model Checking of Markov Decision Processes
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Integer linear programming-based property checking for asynchronous reactive systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Explicit state model checking in the development process for interlocking software systems
Introductory paper : [zu: Special section on the algorithmics of software model checking]
Trail-Directed Model Checking
Counterexamples for Model Checking of Markov Decision Processes
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Integer linear programming-based property checking for asynchronous reactive systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Explicit state model checking in the development process for interlocking software systems
Introductory paper : [zu: Special section on the algorithmics of software model checking]