Regular Group Meeting
Attending: Chris M, Hao, Zhen, Curtis, Jet, Pedro
Agenda
1. Discussed replies from STORM developers. Zhen will plan on recruiting an REU undergrad to work on integrating STAMINA into STORM. Zhen and Curtis will coordinate with the STORM developers to have a virtual meeting after the new year.
2. Discussed days for the first summer workshop at U of Utah, likely to be in the week of August 17, 2020. Need to be confirmed by everyone.
3. Scheduled remaining meetings for the rest of this year: Dec. 13 and Dec. 20.
4. Updates from Zhen:
(1) His graduate student, Brett, is working on a class project to rank edge states based on their state reachability, and then iteratively expand the one with highest probability and perform CTMC analysis. This monitoring technique hopefully can determine probability satisfiability (except CSL properties asking the exact probability) before expanding all edge states.
(2) Plan to finish REU application and submit by the end of this year. Zhen will identify an undergraduate student to work on integration of STAMINA in STORM. Will also coordinate with Chris W. on the number of students and to consolidate tasks for each student.
3. Updates from Hao:
(1) He will have a PhD student starting to work on counterexample generation in Spring 2020. They will start to review literature, and then look at PRISM's current status on counterexample generation.
(2)He will look into recruiting undergraduate student(s) for this project.
4. Updates from Chris M.:
(1) He will have a new graduate student joining this project. This student may start to play with STAMINA and other model checkers on synthetic biological network examples.
