Parameterized verification of leader/follower systems via first-order temporal logic (vol 58, pg 440, 2022)

Kourtis, G, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and Lisitsa, A (2022) Parameterized verification of leader/follower systems via first-order temporal logic (vol 58, pg 440, 2022). FORMAL METHODS IN SYSTEM DESIGN, 60 (2). pp. 325-326.

Access the full-text of this item by clicking on the Open Access link.

Official URL: http://dx.doi.org/10.1007/s10703-023-00408-z

Abstract

In this article on p. 451 the spacing inside the formulas below the sentence "Let stepl be the logical disjunction of the following two formulas:" is incorrect and some symbols overlap. The correct formulas reads: (Formula presented.) The original article has been corrected.

Item Type:	Article
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Symplectic Admin
Date Deposited:	21 Apr 2023 14:27
Last Modified:	27 Nov 2023 03:02
DOI:	10.1007/s10703-023-00408-z
Open Access URL:	https://doi.org/10.1007/s10703-023-00408-z
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3169865