Model Checking Stochastic Branching Processes

Míreanna comhchosúla

• Linear-time model checking branching processes
  de réir: Kiefer, SM, et al.
  Foilsithe / Cruthaithe: (2021)
• Directed Model Checking with Distance−Preserving Abstractions
  de réir: Dräger, K, et al.
  Foilsithe / Cruthaithe: (2006)
• Directed model checking with distance−preserving abstractions
  de réir: Dräger, K, et al.
  Foilsithe / Cruthaithe: (2009)
• Advancing verification of process mining models with quantitative model checking in stochastic environment
  de réir: Mangi Fawad Ali, et al.
  Foilsithe / Cruthaithe: (2024-01-01)
• Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes
  de réir: Fawad Ali Mangi, et al.
  Foilsithe / Cruthaithe: (2023-11-01)