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

Cost vs. Time in Stochastic Games and Markov Automata.

H. Hatefi, B. Braitling, R. Wimmer, L. Fioriti, H. Hermanns, und B. Becker. SETTA, Volume 9409 von Lecture Notes in Computer Science, Seite 19-34. Springer, (2015)

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.

Erik Wimmer University of Stuttgart

Dr. phil. Alexander Wimmer University of Stuttgart

Johannes Wimmer University of Stuttgart

Dr. Ralf Finger University of Stuttgart

Ralf Eisinger University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Sigref- A Symbolic Bisimulation Tool Box.R. Wimmer, M. Herbstritt, H. Hermanns, K. Strampp, und B. Becker. ATVA, Volume 4218 von Lecture Notes in Computer Science, Seite 477-492. Springer, (2006)Skolem Functions for DQBF.K. Wimmer, R. Wimmer, C. Scholl, und B. Becker. ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 395-411. (2016)Accelerating Parametric Probabilistic Verification.N. Jansen, F. Corzilius, M. Volk, R. Wimmer, E. Ábrahám, J. Katoen, und B. Becker. QEST, Volume 8657 von Lecture Notes in Computer Science, Seite 404-420. Springer, (2014)BDDs in a Branch and Cut Framework.B. Becker, M. Behle, F. Eisenbrand, und R. Wimmer. WEA, Volume 3503 von Lecture Notes in Computer Science, Seite 452-463. Springer, (2005)Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties.R. Wimmer, B. Becker, N. Jansen, E. Ábrahám, und J. Katoen. MBMV, Seite 169-180. Verlag Dr. Kovac, (2012)Vorwort.R. Wimmer. MBMV, Seite 4. Albert-Ludwigs-Universität Freiburg, (2016)SMT-based Counterexample Generation for Markov Chains.B. Braitling, R. Wimmer, B. Becker, N. Jansen, und E. Ábrahám. MBMV, Seite 19-28. OFFIS-Institut für Informatik, (2011)Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.E. Ábrahám, B. Becker, C. Dehnert, N. Jansen, J. Katoen, und R. Wimmer. SFM, Volume 8483 von Lecture Notes in Computer Science, Seite 65-121. Springer, (2014)From DQBF to QBF by Dependency Elimination.R. Wimmer, A. Karrenbauer, R. Becker, C. Scholl, und B. Becker. SAT, Volume 10491 von Lecture Notes in Computer Science, Seite 326-343. Springer, (2017)Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.S. Carr, N. Jansen, R. Wimmer, A. Serban, B. Becker, und U. Topcu. IJCAI, Seite 5532-5539. ijcai.org, (2019)