Linda Leuschner und Model - Info zur Person

(1 - 6 von 7

)

Publications

www.cs.bham.ac.uk

[pdf] [bib] [Proposes novel symbolic techniques for verifi cation and optimal strategy synthesis for priced probabilistic timed automata ]; [BKLPW17] Christel Baier, Joachim Klein, Linda Leuschner, David Parker and Sascha Wunderlich. Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision ...

Proceedings of the 8th Joint Workshop of the German Research Training...

books.google.pt

Dagstuhl 2014, June Anja Jentzsch, Tobias Pape, Sebastian Pasewaldt. GRK Linda Leuschner. Compositionality. in. Probabilistic. Model. Checking.

Energy-Utility Analysis for Resilient Systems Using ...link.springer.com › content › pdf

link.springer.com

Using Probabilistic Model Checking. ⋆. Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, and Linda Leuschner. Institute for Theoretical Computer Science.

PRISM Manual | Main / References - PRISM Model Checkerwww.prismmodelchecker.org › manual › References

www.prismmodelchecker.org

· BKLPW17: Christel Baier, Joachim Klein, Linda Leuschner, David Parker and Sascha Wunderlich. Ensuring the Reliability of Your Model ...

Ensuring the Reliability of Your Model Checker: Interval Iteration...

www.cs.bham.ac.uk

[BKLPW17] Christel Baier, Joachim Klein, Linda Leuschner, David Parker and Sascha Wunderlich. Ensuring the Reliability of Your Model Checker: Interval ...

Program | CAV 2017, Heidelberg Germany

cavconference.org

11:30 – 11:50 Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision ProcessesChristel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich. 11:50 – 12:10 Repairing Decision-Making Programs under UncertaintyAws Albarghouthi, Loris D'Antoni, Samuel Drews.