( en | de | ru )

 

Disambiguierung von "Giro, Sergio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.

, , und . CONCUR, Volume 5710 von Lecture Notes in Computer Science, Seite 338-353. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Philipp Giro

Christian Giro

Sonja Girod

Katharina Girod

Detlef Girod

 

Weitere Publikationen von Autoren mit dem selben Namen

Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers., , und . CONCUR, Volume 5710 von Lecture Notes in Computer Science, Seite 338-353. Springer, (2009)Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements., und . ATVA, Volume 7561 von Lecture Notes in Computer Science, Seite 333-348. Springer, (2012)Quantitative Model Checking Revisited: Neither Decidable Nor Approximable., und . FORMATS, Volume 4763 von Lecture Notes in Computer Science, Seite 179-194. Springer, (2007)An algorithmic approximation of the infimum reachability probability for Probabilistic Finite Automata. CoRR, (2010)On the Expressive Power of Schedulers in Distributed Probabilistic Systems., und . QAPL, Volume 253 von Electronic Notes in Theoretical Computer Science, Seite 45-71. Elsevier, (2009)Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms., , und . Theor. Comput. Sci., (2014)On the verification of probabilistic I/O automata with unspecified rates., und . SAC, Seite 582-586. ACM, (2009)Efficient computation of exact solutions for quantitative model checking. QAPL, Volume 85 von EPTCS, Seite 17-32. (2012)Optimal schedulers vs optimal bases: An approach for efficient exact solving of Markov decision processes.. Theor. Comput. Sci., (2014)Undecidability Results for Distributed Probabilistic Systems.. SBMF, Volume 5902 von Lecture Notes in Computer Science, Seite 220-235. Springer, (2009)