Björn Wachter: Publications
www.rw.cdl.uni-saarland.de
Journals "Time-Bounded Model Checking of Infinite-State Continous-Time Markov Chains" Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
Lijun Zhang's Homepage
www.cs.ox.ac.uk
PASS: Abstraction Refinement for Infinite Probabilistic Models (TACAS'10 with E. Moritz Hahn, Holger Hermanns, Björn Wachter).
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)).
PASS: Abstraction Refinement for Infinite Probabilistic Models ...www.springerprofessional.de › pass-abstraction-refinement-for-infinite-...
www.springerprofessional.de
Autoren: Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang. Verlag: Springer Berlin Heidelberg. Erschienen in: Tools and Algorithms for the ...
[ v2] Model Checking CSL for Markov Population Models
arxiv.org
Authors:David Spieler (Saarland University), Ernst Moritz Hahn (State Key Laboratory of Computer Science), Lijun Zhang (State Key Laboratory of Computer ...
[ v1] Lazy Determinisation for Quantitative Model Checking
arxiv.org
Authors:Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang · Download PDF. Abstract: The bottleneck in the quantitative analysis of ...
European Journal of Control | Vol 18, Issue 6, Pages (2012) |...
www.sciencedirect.com
Original research article: Pages Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn. Download PDF. Article preview ...
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 ( )
INFAMY Tool Homepage
depend.cs.uni-saarland.de
INFAMY was developed by Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang and Björn Wachter. Contact/Support. For questions, comments and support requests regarding INFAMY
PARAM Tool Homepage
depend.cs.uni-saarland.de
... please contact Ernst Moritz Hahn. Authors. PARAM was developed by Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang and Björn Wachter. Contact/Support ...
Probabilistic Reachability for Parametric Markov Models | SpringerLinklink.springer.com › chapter
link.springer.com
Probabilistic Reachability for Parametric Markov Models. Authors; Authors and affiliations. Ernst Moritz Hahn; Holger Hermanns; Lijun Zhang. Ernst Moritz Hahn.
PARAM: A Model Checker for Parametric Markov Models | SpringerLink
link.springer.com
Ernst Moritz Hahn (19); Holger Hermanns (19) (20); Björn Wachter (19); Lijun Zhang (21). Author Affiliations Computer Science, Saarland University, ...
Alle Infos zum Namen "Ernst Moritz Hahn"
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 ...www.springerprofessional.de › a-c...
www.springerprofessional.de
Authors: Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang. Publisher: Springer ...
Game-based Abstraction and Controller Synthesis for ...
www.cs.bham.ac.uk
[HNP+11] Ernst Moritz Hahn, Gethin Norman, David Parker, Bjorn Wachter and Lijun Zhang. Game-based Abstraction and Controller Synthesis for Probabilistic ... › bibitem
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: ...
Bibliography - PRISM model checkerwww.prismmodelchecker.org › bib
www.prismmodelchecker.org
Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Kwiatkowska, Hongyang Qu, and Lijun Zhang. Model repair for Markov decision processes. In Proc. 7th ...
Lazy Probabilistic Model Checking without DROPSdrops.dagstuhl.de › opus › frontdoor
drops.dagstuhl.de
@InProceedings{hahn_et_al:LIPIcs:2015:5391, author = {Ernst Moritz Hahn and Guangyuan Li and Sven Schewe and Andrea Turrini and Lijun Zhang}, title ...
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
Game-based Abstraction and Controller Synthesis for Probabilistic ...www.cs.bham.ac.uk › ~parkerdx › bibitem
www.cs.bham.ac.uk
[HNP+11] Ernst Moritz Hahn, Gethin Norman, David Parker, Bjorn Wachter and Lijun Zhang. Game-based Abstraction and Controller Synthesis for Probabilistic ...
Measurability and Safety Verification for Stochastic Hybrid ...
orbit.dtu.dk
Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang. Research output: Chapter in Book/Report/Conference proceeding › Article ... › fingerprints
INFAMY - Mathematical software - swMATHswmath.org › software
swmath.org
InternetArchive; Authors: Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang; Add information on this software. Related software: PRISM · APMC ...
PARAM: A Model Checker for Parametric Markov Models ...www.springerprofessional.de › param-a-model-checker...
www.springerprofessional.de
Autoren: Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang. Verlag: Springer Berlin Heidelberg. Erschienen in: Computer Aided Verification.
PARAM - Mathematical software - swMATH
swmath.org
Results of 14 — InternetArchive; Authors: Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang; Add information on this software. › software
PARAM: A Model Checker for Parametric Markov Models
www.academia.edu
PARAM: A Model Checker for Parametric Markov Models Ernst Moritz Hahn, Holger Hermanns, Bj¨orn Wachter, Lijun Zhang To cite this version: Ernst Moritz Hahn, ... › PARA...
Preface — Aalborg University's Research Portal
vbn.aau.dk
Preface. Tomáš Vojnar, Lijun Zhang, Marius Mikucionis, Radu Grosu, Dirk Beyer, Ondřej Lengál, Ernst Moritz Hahn. Department of Architecture ...
References - Electronic Proceedings in Theoretical Computer ...eptcs.web.cse.unsw.edu.au › refere...
cgi.cse.unsw.edu.au
Ernst Moritz Hahn, Holger Hermanns & Lijun Zhang (2011): Probabilistic reachability for parametric Markov models. Int. Journal on Software Tools for Technology ...
Synthesis for PCTL in Parametric Markov Decision Processes ...
www.springerprofessional.de
Authors: Ernst Moritz Hahn, Tingting Han, Lijun Zhang. Publisher: Springer Berlin Heidelberg. Published in: NASA Formal Methods. » Get access to the full-text.
Tingting Han | Publications
www.dcs.bbk.ac.uk
Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu and Lijun Zhang. Model Repair for Markov Decision Processes. In Proc.
TACAS Preface — Aalborg University's Research Portal
vbn.aau.dk
Tomas Vojnar, Lijun Zhang, Marius Mikucionis, Radu Grosu, Dirk Beyer, Ondrej Lengal, Ernst Moritz Hahn. Department of Architecture, Design ...
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 ...
Scenario-Based Verification of Uncertain MDPs - NCBI - NIHwww.ncbi.nlm.nih.gov › articles › pmc
www.ncbi.nlm.nih.gov
· Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Kwiatkowska, Hongyang Qu, and Lijun Zhang. Model Repair for Markov Decision ...
Verwandte Suchanfragen zu Ernst Moritz Hahn
Arnd Hartmanns Martin Fränzle Andrea Turrini | Joachim Klein Michaela Klauck Henk Blom | Sebastian Junges Carina Pilch Bernd Becker |
Person "Hahn" (74) Vorname "Moritz" (11891) Name "Hahn" (6985) |
sortiert nach Relevanz / Datum