Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Symbolic Counterexample Generation for Discrete-Time Markov Chains.

N. Jansen, E. Ábrahám, B. Zajzon, R. Wimmer, J. Schuster, J. Katoen, und B. Becker. FACS, Volume 7684 von Lecture Notes in Computer Science, Seite 134-151. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kai Johann University of Stuttgart

Johann Winterholler

Univ. -Prof. Dr. -Ing. Johann Jessen University of Stuttgart

Dr. phil. Johann Valentowitsch University of Stuttgart

Johann Groß University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Towards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures.J. Schuster. Bundeswehr University Munich, (2012)The quest for minimal quotients for probabilistic and Markov automata.C. Eisentraut, H. Hermanns, J. Schuster, A. Turrini, und L. Zhang. Inf. Comput., 262 (Part): 162-186 (2018)A Modelling and Analysis Environment for LARES.A. Gouberman, M. Riedl, J. Schuster, und M. Siegle. MMB/DFT, Volume 7201 von Lecture Notes in Computer Science, Seite 244-248. Springer, (2012)A view-probability-matrix approach to the modelling of gossiping protocols.T. Krieger, M. Riedl, J. Schuster, und M. Siegle. SIGMETRICS Performance Evaluation Review, 36 (3): 23-30 (2008)Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states.J. Schuster, und M. Siegle. Inf. Comput., (2014)Some notes on the abstraction operation for Multi-Terminal Binary Decision DiagramsL. Griebl, und J. Schuster. CoRR, (2013)Symbolic counterexample generation for large discrete-time Markov chains.N. Jansen, R. Wimmer, E. Ábrahám, B. Zajzon, J. Katoen, B. Becker, und J. Schuster. Sci. Comput. Program., (2014)Scale-Freeness of SPA Models with Weighted Immediate Actions.J. Schuster, und M. Siegle. EPEW/UKPEW, Volume 7587 von Lecture Notes in Computer Science, Seite 48-62. Springer, (2012)The Quest for Minimal Quotients for Probabilistic Automata.C. Eisentraut, H. Hermanns, J. Schuster, A. Turrini, und L. Zhang. TACAS, Volume 7795 von Lecture Notes in Computer Science, Seite 16-31. Springer, (2013)Symbolic Counterexample Generation for Discrete-Time Markov Chains.N. Jansen, E. Ábrahám, B. Zajzon, R. Wimmer, J. Schuster, J. Katoen, und B. Becker. FACS, Volume 7684 von Lecture Notes in Computer Science, Seite 134-151. Springer, (2012)