Sergio Giro

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Skyline Queries

Markov Decision Processes

Efficient Computation

Top Venues

Theor. Comput. Sci.

Publications

Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms. Theor. Comput. Sci. 538 (2014)
Sergio Giro
Optimal schedulers vs optimal bases: An approach for efficient exact solving of Markov decision processes. Theor. Comput. Sci. 538 (2014)
Sergio Giro
Efficient computation of exact solutions for quantitative model checking QAPL (2012)
Sergio Giro, Markus N. Rabe
Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. ATVA (2012)
Sergio Giro
An algorithmic approximation of the infimum reachability probability for Probabilistic Finite Automata CoRR (2010)
Sergio Giro
Undecidability Results for Distributed Probabilistic Systems. SBMF (2009)
Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. CONCUR (2009)
Sergio Giro, Pedro R. D'Argenio
On the verification of probabilistic I/O automata with unspecified rates. SAC (2009)
Sergio Giro, Pedro R. D'Argenio
On the Expressive Power of Schedulers in Distributed Probabilistic Systems. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Sergio Giro, Pedro R. D'Argenio
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. FORMATS (2007)