Symbolic Bisimulations for Probabilistic Systems

2007 ◽  
Author(s):  
Peng Wu ◽  
Catuscia Palamidessi ◽  
Huimin Lin
Keyword(s):  
Probabilistic Systems

Abstraction and refinement in probabilistic systems

2005 ◽  
Vol 32 (4) ◽  
pp. 41-47 ◽  
Author(s):  
Annabelle McIver ◽  
Carroll Morgan
Keyword(s):  
Probabilistic Systems

scholarly journals Branching bisimulation congruence for probabilistic systems

2012 ◽  
Vol 413 (1) ◽  
pp. 58-72 ◽  
Author(s):  
Suzana Andova ◽  
Sonja Georgievska ◽  
Nikola Trčka
Keyword(s):  
Probabilistic Systems ◽  
Branching Bisimulation

scholarly journals A logical duality for underspecified probabilistic systems

2011 ◽  
Vol 209 (5) ◽  
pp. 850-871 ◽  
Author(s):  
Josée Desharnais ◽  
François Laviolette ◽  
Amélie Turgeon
Keyword(s):  
Probabilistic Systems

scholarly journals Incremental Runtime Verification of Probabilistic Systems

2013 ◽  
pp. 314-319 ◽  
Author(s):  
Vojtěch Forejt ◽  
Marta Kwiatkowska ◽  
David Parker ◽  
Hongyang Qu ◽  
Mateusz Ujma
Keyword(s):  
Runtime Verification ◽  
Probabilistic Systems

scholarly journals Witnessing Subsystems for Probabilistic Systems with Low Tree Width

2021 ◽  
Vol 346 ◽  
pp. 35-51
Author(s):  
Simon Jantsch ◽  
Jakob Piribauer ◽  
Christel Baier
Keyword(s):  
Probabilistic Systems ◽  
Tree Width
Sign in / Sign up

Export Citation Format

Share Document