Ernst Moritz Hahn und Andrea Turrini - Info zur Person

(1 - 25 von 25

)

Schewe, Sven - Institute for Risk and Uncertainty - University of...

www.liverpool.ac.uk

Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, and Lijun Zhang. IscasMC: A Web-Based Probabilistic Model Checker. FM Savas Konur, Michael ...

[ ] Lazy Probabilistic Model Checking without Determinisation

arxiv.org

Authors:Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang. (Submitted on 12 Nov (v1), last revised 24 Apr (this version, v2)).

[ ] An Efficient Synthesis Algorithm for Parametric › abs

arxiv.org

Authors:Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang · Download PDF. Abstract: In this paper, we propose an efficient ...

[ v2] Lazy Probabilistic Model Checking without › abs

arxiv.org

Title:Lazy Probabilistic Model Checking without Determinisation. Authors:Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun ...

dblp: Lijun Zhang 0001

dblp.uni-trier.de

Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang: Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. CoRR abs ( )

dblp: JANI: Quantitative Model and Tool Interaction.

dblp.uni-trier.de

Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini: JANI: Quantitative Model and Tool Interaction. TACAS (2) :

Model Checking ω-regular Properties for Quantum Markov Chains Yuan Feng Ernst Moritz Hahn Andrea Turrini Shenggang Ying; Uniform sampling for networks of automata Nicolas Basset Jean Mairesse Michèle Soria; Tractability of separation logic with inductive definitions: Beyond lists Taolue Chen Fu Song Zhilin Wu

DROPS - Lazy Probabilistic Model Checking without Determinisation

drops.dagstuhl.de

BibTeX - Entry @InProceedings{hahn_et_al:LIPIcs:2015:5391, author = {Ernst Moritz Hahn and Guangyuan Li and Sven Schewe and Andrea Turrini and Lijun Zhang}, title ...

A comparative study of BDD packages for probabilistic symbolic model...

research.tue.nl

Tom van Dijk, Ernst Moritz Hahn, David Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang. Research output: ...

Lazy Probabilistic Model Checking without Determinisation

pure.qub.ac.uk

von EM Hahn · · Zitiert von: 42 — Ernst Moritz Hahn, Guangyuan Li, University Liverpool, Andrea Turrini, Lijun Zhang. Research output: Chapter in Book/Report/Conference proceeding ... › publications

Model checking ω-regular properties for quantum Markov chains

opus.lib.uts.edu.au

von Y Feng · · Zitiert von: 15 — Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, and Shenggang Ying. Quantum Markov chains are an extension of classical Markov chains which ... › handle

JANI: Quantitative Model and Tool Interaction — University of...

research.utwente.nl

JANI: Quantitative Model and Tool Interaction. Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini.

Publications | Power to the People. Verified.

www.powver.org

author-generated open-access pdf available as ERC-POWVER-TechRep ; Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini: › publicati...

QEST 2016: 13th International Conference on Quantitative ...www.qest.org › qest2016 › accepted-papers

www.qest.org

Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns and Andrea Turrini. Exploiting Robust Optimization for Interval Probabilistic Bisimulation. Simon Theissing ...

QEST 2016: 13th International Conference on Quantitative ...www.qest.org › qest2016 › program

www.qest.org

Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns and Andrea Turrini. Exploiting Robust Optimization for Interval Probabilistic Bisimulation. Luca Laurenti ...

QEST 2017: 14th International Conference on Quantitative Evaluation...

www.qest.org

Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian and Andrea Turrini. Multi-objective Robust Strategy Synthesis for Interval MDPs.

The JANI Specification

jani-spec.org

Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges and Andrea Turrini: JANI: Quantitative Model and Tool Interaction.

BSR - outcomes:publications

www.3tu-bsr.nl

Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini. JANI: Quantitative Model and Tool ...

Sven Schewe

cgi.csc.liv.ac.uk

Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, and Lijun Zhang. Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity ...

Accepted Papers | FM 2015

fm2015.ifi.uio.no

Yuan Feng, Ernst Moritz Hahn, Andrea Turrini and Lijun Zhang. QPMC: A Model Checker for Quantum Programs and Protocols. Julien Bringer, Hervé Chabanne ...