Ausgabe 4/2023
Special Issue: Selected extended papers of NFM 2021
Inhalt (6 Artikel)
Editorial
Selected extended papers of NFM 2021
Aaron Dutle, Mariano M. Moscato, Laura Titolo, C.ésar A. Muñoz, Ivan Perez
Open Access
S.I. : Selected Extended Papers of NFM 2021
Specification decomposition for reactive synthesis
Bernd Finkbeiner, Gideon Geier, Noemi Passing
S.I. : Selected Extended Papers of NFM 2021
Regularity and quantification: a new approach to verify distributed protocols
Aman Goel, Karem A. Sakallah
Open Access
S.I. : Selected Extended Papers of NFM 2021
Online shielding for reinforcement learning
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
S.I. : Selected Extended Papers of NFM 2021
Eventual consensus in Synod: verification using a failure-aware actor model
Saswata Paul, Gul Agha, Stacy Patterson, Carlos Varela
S.I. : Selected Extended Papers of NFM 2021
Formally verified bundling and appraisal of evidence for layered attestations
Adam Petz, Perry Alexander