[Club2] Talk by Sergio Giro, Wed. Aug. 1, 14:30, Turing

[Andrei Popescu]

Dear All,  
The coming Wednesday, our visitor Sergio Giro will give a talk on his probabilistic-system verification work.  Please note the special time: 14.30 instead of 14:00.
Best regards,   Andrei 
Sergio GiroVerification of distributed probabilistic systems under partial information====================================================Wed. Aug. 11, 14:30, MI 00.09.055 ("Alan Turing")  
In the verification of systems that involve probabilities, it iscrucial to study qualitative properties concerning the probability ofcertain events as, for instance, "the probability that a failureoccurs is less that 0.01". In case the system under consideration isdistributed, each of the components of the system might have a partialview of the information available to other components. The analysis ofthese systems is carried out by considering "distributed adversaries"with restricted observations. In this talk I will summarize six yearsof research on automatic verification of distributed probabilisticsystems. On the negative side, we proved the verification problem tobe undecidable in general and NP-complete for some restricted systems.Nevertheless, we also introduced some techniques for overestimation ofworst-case probabilities, and showed that the concept of distributedadversaries can be used to improve existing techniques such as partialorder
 reduction. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20120728/f9044506/attachment.html>