Frank Ciesinski - Veröffentlichungen allgemein

(1 - 4 von 6

)

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...

Validation of stochastic systems : a guide to current research :...

archive.org

Validation of Stochastic Systems: A Guide to Current ResearchAuthor: Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus...

Generating Compact MTBDD-Representations from Probmela Specifications...

link.springer.com

Frank Ciesinski (1); Christel Baier (1); Marcus Größer (1); David Parker (2). Author Affiliations. 1. Institute for Theoretical Computer Science, Technical University ...

Quantitative Analysis under Fairness Constraints | SpringerLink

link.springer.com

It is well-known that fairness assumptions can be crucial for verifying progress, reactivity or other liveness properties for interleaving models. This also...

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

Veröffentlichungen allgemein Frank Ciesinski

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

Validation of stochastic systems : a guide to current research :...

Generating Compact MTBDD-Representations from Probmela Specifications...

Quantitative Analysis under Fairness Constraints | SpringerLink