1. Zero-sum semi-Markov games with state-action-dependent discount factors

   • Zhihui Yu
   • Xianping Guo
   • Li Xia

   OriginalPaper 05 November 2022 Pages: 545 - 571

   

2. Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies

   • Shoma Matsui
   • Stéphane Lafortune

   OriginalPaper 20 October 2022 Pages: 573 - 610

   

3. Using Subobservers to Synthesize Opacity-Enforcing Supervisors

   • Richard Hugh Moulton
   • Behnam Behinaein Hamgini
   • Karen Rudie

   OriginalPaper 19 September 2022 Pages: 611 - 640

   

4. Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets

   • Matteo Camilli
   • Lorenzo Capra

   Correction Open access 06 September 2022 Pages: 641 - 641