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

High-level Counterexamples for Probabilistic Automata

R. Wimmer, N. Jansen, A. Vorpahl, E. Ábrahám, J. Katoen, und B. Becker. Logical Methods in Computer Science, (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.

Nils Rodrigues University of Stuttgart

A Visual Analytics Approach for Word Relevances in Multiple TextsN. Rodrigues, M. Burch, L. Di Silvestro, und D. Weiskopf. (2017)

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

Nils Reiter

Nils Huber University of Stuttgart

Nils Widdecke University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

On collaboratively conveying computer science to pupils.E. Ábrahám, N. Bergner, P. Brauner, F. Corzilius, N. Jansen, T. Leonhardt, U. Loup, J. Nellen, und U. Schroeder. Koli Calling, Seite 132-137. ACM, (2011)Conditioning in Probabilistic Programming.F. Gretz, N. Jansen, B. Kaminski, J. Katoen, A. McIver, und F. Olmedo. CoRR, (2015)Minimal counterexamples for linear-time probabilistic verification.R. Wimmer, N. Jansen, E. Ábrahám, J. Katoen, und B. Becker. Theor. Comput. Sci., (2014)Shielded Decision-Making in MDPs.N. Jansen, B. Könighofer, S. Junges, und R. Bloem. CoRR, (2018)Motion Planning under Partial Observability using Game-Based Abstraction.L. Winterer, S. Junges, R. Wimmer, N. Jansen, U. Topcu, J. Katoen, und B. Becker. CoRR, (2017)High-level Counterexamples for Probabilistic AutomataR. Wimmer, N. Jansen, A. Vorpahl, E. Ábrahám, J. Katoen, und B. Becker. Logical Methods in Computer Science, (2015)The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov ChainsN. Jansen, E. Ábrahám, M. Scheffler, M. Volk, A. Vorpahl, R. Wimmer, J. Katoen, und B. Becker. CoRR, (2012)Counterexamples for Expected Rewards.T. Quatmann, N. Jansen, C. Dehnert, R. Wimmer, E. Ábrahám, J. Katoen, und B. Becker. FM, Volume 9109 von Lecture Notes in Computer Science, Seite 435-452. Springer, (2015)Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes.S. Carr, N. Jansen, R. Wimmer, J. Fu, und U. Topcu. ACC, Seite 762-769. IEEE, (2018)A Greedy Approach for the Efficient Repair of Stochastic Models.S. Pathak, E. Ábrahám, N. Jansen, A. Tacchella, und J. Katoen. NFM, Volume 9058 von Lecture Notes in Computer Science, Seite 295-309. Springer, (2015)