Tölvunarfræðideild

Viðburðir

ICE-TCS Lectures Series - Joshua Sack - A General Framework for Probabilistic Characterizing Formulae

 

The next ICE-TCS  talk will be delivered on Wednesday, 11 May,  by Joshua Sack. The talk, which is entitled A General Framework for Probabilistic Characterizing Formulae, will be held at 15.00 in room M1.02 at Reykjavik University (Menntavegur 1). 


Abstract:

Characteristic formulae express essential properties of behavioral relations, where such relations are typically bisimulation equivalence relations or simulation preorders.  Recently a general framework has been proposed for constructing and proving characteristic formulae of a number of non-probabilistic behavioral relations, using a variation of fixed point Hennessy Milner logic.  This talk presents joint work with Lijun Zhang on adapting these techniques to a probabilistic setting.  A general technique is presented for constructing formulae in a variation of fixed point probability logic to characterize behavioral relations over probabilistic automata.