The following pages link to Sergio Giro (Q2453110):
Displaying 7 items.
- Optimal schedulers vs optimal bases: an approach for efficient exact solving of Markov decision processes (Q2453111) (← links)
- Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers (Q3184684) (← links)
- Quantitative Model Checking Revisited: Neither Decidable Nor Approximable (Q3510843) (← links)
- Undecidability Results for Distributed Probabilistic Systems (Q3651281) (← links)
- Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements (Q4649307) (← links)
- (Q5858721) (← links)