Sciweavers

VMCAI
2012
Springer

A General Framework for Probabilistic Characterizing Formulae

12 years 6 months ago
A General Framework for Probabilistic Characterizing Formulae
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae of many non-probabilistic behavioral relations. Our paper studies their techniques in a probabilistic setting. We provide a general method for determining characteristic formulae of behavioral relations for probabilistic automata using fixed-point probability logics. We consider such behavioral relations as simulations and bisimulations, probabilistic bisimulations, probabilistic weak simulations, and probabilistic forward simulations. This paper shows how their constructions and proofs can follow from a single common technique.
Joshua Sack, Lijun Zhang
Added 25 Apr 2012
Updated 25 Apr 2012
Type Journal
Year 2012
Where VMCAI
Authors Joshua Sack, Lijun Zhang
Comments (0)