Sergio Giro

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7333237 (Why is no real title available?)	2021-04-14	Paper
scientific article; zbMATH DE number 7333237 (Why is no real title available?) (available as arXiv preprint)	2021-04-14	Paper
Optimal schedulers vs optimal bases: an approach for efficient exact solving of Markov decision processes Theoretical Computer Science	2014-06-06	Paper
Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms Theoretical Computer Science	2014-06-06	Paper
Verification of partial-information probabilistic systems using counterexample-guided refinements Automated Technology for Verification and Analysis	2012-11-21	Paper
Undecidability results for distributed probabilistic systems Lecture Notes in Computer Science	2009-12-09	Paper
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers CONCUR 2009 - Concurrency Theory	2009-10-22	Paper
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable Lecture Notes in Computer Science	2008-07-03	Paper

Research outcomes over time

This page was built for person: Sergio Giro