[Club2] Reminder: Talk by Sergio Giro today, at 14:30, in Turing

[Andrei Popescu]

Best regards,     Andrei 

--- On Sat, 7/28/12, Andrei Popescu <uuomul at yahoo.com> wrote:

From: Andrei Popescu <uuomul at yahoo.com>
Subject: Talk by Sergio Giro, Wed. Aug. 1, 14:30, Turing
To: "club2" <club2 at mailbroy.informatik.tu-muenchen.de>
Date: Saturday, July 28, 2012, 5:39 PM

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/20120801/4e8335d0/attachment.html>