Frank Ciesinski und Probabilistic - Info zur Person

(1 - 14 von 21

)

Dependable Software Systems Engineering - Google Books

books.google.de

Christel Baier, Marcus Gr ̈oßer, and Frank Ciesinski. Model checking linear-time properties of probabilistic systems. In Manfred Droste, Werner Kuich, and ...

dblp: Frank Ciesinski

dblp.uni-trier.de

Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS :

Controller Synthesis for Probabilistic Systems (Extended Abstract) |...

link.springer.com

Controller synthesis addresses the question of how to limit the internal behavior of a given implementation to meet its specification, regardless of the...

JH Libraries

catalyst.library.jhu.edu

... On reduction criteria for probabilistic reward models / r| Marcus Grosser, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Kwiatkowska and David Parker ...

Model Checking Linear-Time Properties of Probabilistic Systems

www.infona.pl

Frank Ciesinski. Technische Universität Dresden, Fakultät Informatik, Institut für Theoretische Informatik, Dresden, Germany ...

[PDF] PROBMELA: a modeling language for communicating probabilistic...

www.semanticscholar.org

Christel Baier, Frank Ciesinski, Marcus Größer ∗. Universität Bonn, Institut für Informatik I, Germany,. &#-bonn.de. Abstract.

PRISM - Publications

www.prismmodelchecker.org

[GNB+06] Marcus Groesser, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Kwiatkowska, David Parker. On reduction criteria for probabilistic reward ...

The Probabilistic Convolution Tree: Efficient Exact Bayesian...

journals.plos.org

This research was a product of discussions with Frank Ciesinski, Kai Fritzemeier, Christoph Henrich, Alexander Makarov, Robert Malek, and ...

Two Decades of Probabilistic Verification - Reflections and...

sws.cs.ru.nl

... Stoelinga); PASS (Bjoern Wachter); Liquor/PROBMELA (Christel Baier/Frank Ciesinski/Marcus Groesser/Joachim Klein); A Model Checking Competition?

Alle Infos zum Namen "Frank Ciesinski"

Verwandte Suchanfragen zu Frank Ciesinski

Marcus Groesser
Christel Baier
Benedikt Bollig

Martin Leucker
Joachim Klein
Manuela Ciesinski

Magdalena Reichel
Lena Gierl

Personen
Vorname "Frank" (79403)
Name "Ciesinski" (40)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Frank Ciesinski und Probabilistic Person-Info