PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jansen, Nils"

Author of the publication

copydeleteadd this publication to your clipboard
Parameter Synthesis for Markov Models: Faster Than Ever.

, , , , and . CoRR, (2016)

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 Texts, , , and . (2017)

Nils Frejak University of Stuttgart

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

Nils Reiter

Nils Huber University of Stuttgart

 

Other publications of authors with the same name

Minimal counterexamples for linear-time probabilistic verification., , , , and . Theor. Comput. Sci., (2014)The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains, , , , , , , and . CoRR, (2012)Shielded Decision-Making in MDPs., , , and . CoRR, (2018)Motion Planning under Partial Observability using Game-Based Abstraction., , , , , , and . CoRR, (2017)Conditioning in Probabilistic Programming., , , , , and . CoRR, (2015)High-level Counterexamples for Probabilistic Automata, , , , , and . Logical Methods in Computer Science, (2015)Counterexamples for Expected Rewards., , , , , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 435-452. Springer, (2015)Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes., , , , and . ACC, page 762-769. IEEE, (2018)A Greedy Approach for the Efficient Repair of Stochastic Models., , , , and . NFM, volume 9058 of Lecture Notes in Computer Science, page 295-309. Springer, (2015)On collaboratively conveying computer science to pupils., , , , , , , , and . Koli Calling, page 132-137. ACM, (2011)