Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.

B. Braitling, R. Wimmer, B. Becker, N. Jansen, and E. Ábrahám. FMOODS/FORTE, volume 6722 of Lecture Notes in Computer Science, page 75-89. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nils Rodrigues University of Stuttgart

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

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

Nils Reiter

Nils Huber University of Stuttgart

Nils Widdecke University of Stuttgart

Other publications of authors with the same name

Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121).N. Jansen, J. Katoen, P. Kohli, and J. Kretinsky. Dagstuhl Reports, 8 (3): 74-93 (2018)Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction.S. Junges, N. Jansen, J. Katoen, and U. Topcu. CoRR, (2016)Safety-Constrained Reinforcement Learning for MDPs.S. Junges, N. Jansen, C. Dehnert, U. Topcu, and J. Katoen. CoRR, (2015)Neural Simplex Architecture.D. Phan, N. Paoletti, R. Grosu, N. Jansen, S. Smolka, and S. Stoller. CoRR, (2019)DTMC Model Checking by SCC Reduction.E. Ábrahám, N. Jansen, R. Wimmer, J. Katoen, and B. Becker. QEST, page 37-46. IEEE Computer Society, (2010)Synthesis in pMDPs: A Tale of 1001 Parameters.M. Cubuktepe, N. Jansen, S. Junges, J. Katoen, and U. Topcu. ATVA, volume 11138 of Lecture Notes in Computer Science, page 160-176. Springer, (2018)Parameter Synthesis for Markov Models: Faster Than Ever.T. Quatmann, C. Dehnert, N. Jansen, S. Junges, and J. Katoen. ATVA, volume 9938 of Lecture Notes in Computer Science, page 50-67. (2016)Sequential Convex Programming for the Efficient Verification of Parametric MDPs.M. Cubuktepe, N. Jansen, S. Junges, J. Katoen, I. Papusha, H. Poonawala, and U. Topcu. TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 133-150. (2017)Symbolic Counterexample Generation for Discrete-Time Markov Chains.N. Jansen, E. Ábrahám, B. Zajzon, R. Wimmer, J. Schuster, J. Katoen, and B. Becker. FACS, volume 7684 of Lecture Notes in Computer Science, page 134-151. Springer, (2012)Structured Synthesis for Probabilistic Systems.N. Jansen, L. Humphrey, J. Tumova, and U. Topcu. NFM, volume 11460 of Lecture Notes in Computer Science, page 237-254. Springer, (2019)