Ausgabe 1/2021
EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2018
Inhalt (6 Artikel)
Original Article
Optimal and robust controller synthesis using energy timed automata with uncertainty
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
Open Access
Original Article
A Weakness Measure for GR(1) Formulae
Davide G. Cavezza, Dalal Alrajeh, András György
Original Article
Formal analysis of the compact position reporting algorithm
Aaron Dutle, Mariano Moscato, Laura Titolo, César Muñoz, Gregory Anderson, François Bobot
Original Article
Stepwise development and model checking of a distributed interlocking system using RAISE
S. Geisler, A. E. Haxthausen
Original Article
Modular verification of programs with effects and effects handlers
Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet