BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/283
DTSTAMP:20230914T125917Z
SUMMARY:Probabilistic Systems and Their Verification
DESCRIPTION:Speaker: Kamal Lodaya (Institute of Mathematical Sciences\nIV C
 ross Road\nCIT Campus\nTaramani\nChennai 600113)\n\nAbstract: \nThe study 
 of automata with probabilistic behaviour began with Rabin (1963). Using tr
 ansition systems as models\, specifying their behaviour using formulas of 
 temporal logic and checking that such a system satisfies its specification
  was formulated by Hansson and Jonsson (1994) and by Bianco and de Alfaro 
 (in FSTTCS 1995). Unlike the key idea on which non-probabilistic model che
 cking is based\, emptiness of probabilistic automata is undecidable\, show
 n by Paz (1971).\n
URL:https://www.tcs.tifr.res.in/web/events/283
DTSTART;TZID=Asia/Kolkata:20120614T163000
DTEND;TZID=Asia/Kolkata:20120614T173000
LOCATION:A-212 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR