Statistical verification of PCTL using antithetic and stratified samples Yu WangNima RoohiGeir E. Dullerud OriginalPaper 28 August 2019 Pages: 145 - 163
SAT-based explicit LTL reasoning and its application to satisfiability checking Jianwen LiShufang ZhuMoshe Y. Vardi OriginalPaper 02 January 2019 Pages: 164 - 190
Some complexity results for stateful network verification Kalev AlpernasAurojit PandaYaron Velner OriginalPaper 07 January 2019 Pages: 191 - 231
Incrementally closing octagons Aziem ChawdharyEd RobbinsAndy King OriginalPaper Open access 24 January 2018 Pages: 232 - 277