Volume 19, Issue 4

December 2023

Special Issue: Selected extended papers of NFM 2021

Issue Editors:

6 articles in this issue

Selected extended papers of NFM 2021
Aaron Dutle
Mariano M. Moscato
Ivan Perez
Editorial 18 October 2023 Pages: 337 - 338
Specification decomposition for reactive synthesis
Bernd Finkbeiner
Gideon Geier
Noemi Passing
S.I. : Selected Extended Papers of NFM 2021 Open access 18 July 2022 Pages: 339 - 357
Regularity and quantification: a new approach to verify distributed protocols
Aman Goel
Karem A. Sakallah
S.I. : Selected Extended Papers of NFM 2021 29 September 2022 Pages: 359 - 377
Online shielding for reinforcement learning
Bettina Könighofer
Julian Rudolf
Roderick Bloem
S.I. : Selected Extended Papers of NFM 2021 Open access 23 September 2022 Pages: 379 - 394
Eventual consensus in Synod: verification using a failure-aware actor model
Saswata Paul
Gul Agha
Carlos Varela
S.I. : Selected Extended Papers of NFM 2021 25 July 2022 Pages: 395 - 410
Formally verified bundling and appraisal of evidence for layered attestations
Adam Petz
Perry Alexander
S.I. : Selected Extended Papers of NFM 2021 04 September 2022 Pages: 411 - 426

Search