1. Statistical verification of PCTL using antithetic and stratified samples

   • Yu Wang
   • Nima Roohi
   • Geir E. Dullerud

   OriginalPaper 28 August 2019 Pages: 145 - 163

   

2. SAT-based explicit LTL reasoning and its application to satisfiability checking

   • Jianwen Li
   • Shufang Zhu
   • Moshe Y. Vardi

   OriginalPaper 02 January 2019 Pages: 164 - 190

   

3. Some complexity results for stateful network verification

   • Kalev Alpernas
   • Aurojit Panda
   • Yaron Velner

   OriginalPaper 07 January 2019 Pages: 191 - 231

   

4. Incrementally closing octagons

   • Aziem Chawdhary
   • Ed Robbins
   • Andy King

   OriginalPaper Open access 24 January 2018 Pages: 232 - 277