Stem param$ (all stems)
2 papers:
- CAV-2015-DehnertJJCVBKA #named #parametricity #probability #synthesis
- PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, EÁ), pp. 214–231.
- CAV-2010-HahnHWZ #markov #model checking #modelling #named #parametricity
- PARAM: A Model Checker for Parametric Markov Models (EMH, HH, BW, LZ), pp. 660–664.