Special Issue on NASA Formal Methods 2022 (NFM2022) by invitation only

Articles (5 in this collection)

1. Zone extrapolations in parametric timed automata

   Authors

   • Johan Arcile
   • Étienne André

   • Content type: Original Article
   • Published: 17 April 2024

   

2. General monitorability of totally ordered verdict domains

   Authors

   • Felipe Gorostiaga
   • César Sánchez

   • Content type: Original Article
   • Published: 06 April 2024

   

3. Attack–defense tree-based analysis and optimal defense synthesis for system design

   Authors (first, second and last of 7)

   • Baoluo Meng
   • Arjun Viswanathan
   • Michael Durling

   • Content type: Original Article
   • Published: 23 March 2024

   

4. The black-box simplex architecture for runtime assurance of multi-agent CPS

   Authors (first, second and last of 5)

   • Sanaz Sheikhi
   • Usama Mehmood
   • Scott D. Stoller

   • Content type: Original Article
   • Published: 21 March 2024

   

5. Robust computation tree logic

   Authors (first, second and last of 4)

   • Satya Prakash Nayak
   • Daniel Neider
   • Martin Zimmermann

   • Content type: Original Article
   • Open Access
   • Published: 20 March 2024