Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Zhioua, Abir"'
Autor:
Zhioua, Abir
Dans ce mémoire nous nous intéressons à une branche de la vérification qui consiste à comparer une spécification (fonctionnement idéal) à son implémentation (système réel). Tous les deux sont sous forme de systèmes probabilistes, c’est-
Externí odkaz:
http://www.theses.ulaval.ca/2012/28874/28874.pdf
Publikováno v:
EPTCS 57, 2011, pp. 148-162
We present relaxed notions of simulation and bisimulation on Probabilistic Automata (PA), that allow some error epsilon. When epsilon is zero we retrieve the usual notions of bisimulation and simulation on PAs. We give logical characterisations of th
Externí odkaz:
http://arxiv.org/abs/1107.1206