Team Meeting: Monday, Aug 12, 2019

Mon, 12 Aug 2019 11:28:31 -0600

Discussed Hubzilla platform. Chris W needs to upgrade hardware ASAP
Hao presented a review of CEX generation for CTMC (slides attached)
Also introduced paper "Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking" (paper attached)

meetings

Winstead

Mon, 12 Aug 2019 11:31:42 -0600 last edited: Mon, 12 Aug 2019 11:32:14 -0600

For next meeting (Aug 23rd):

Zhen Zhang

Mon, 12 Aug 2019 15:11:05 -0600

@Chris Myers Section 2 and 3.1 of the FAU paper and Section 8.1 of William Stewart's book provide description of the mathematical background and introduction to uniformization.
http://left.engr.usu.edu/cloud/zhen/papers/approxMarkovModels/Mateescu_FastAdaptiveUniformisationChemicalMasterEquation.pdf