( en | de | ru )

 

Disambiguation of "Giro, Sergio"

Author of the publication

copydeleteadd this publication to your clipboard
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.

, , and . CONCUR, volume 5710 of Lecture Notes in Computer Science, page 338-353. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Philipp Giro

Christian Giro

Sonja Girod

Katharina Girod

Detlef Girod

 

Other publications of authors with the same name

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