Document is current

Chapter History

First Online: 15 September 2023

Proof Availability

: Proofs for Theorem ; Proposition  and ; and the derivation of () in Sect.  are given in the appendix of the preprint version of this paper, available at .

Conference Information

Conference Acronym: QEST

Conference Name: International Conference on Quantitative Evaluation of Systems

Conference City: Antwerp

Conference Country: Belgium

Conference Year: 2023

Conference Start Date: 20 September 2023

Conference End Date: 22 September 2023

Conference Number: 20

Conference ID: qest2023

Conference URL: https://www.qest.org/qest2023/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 44

Number of Full Papers Accepted: 23

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 52% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3.5

Average Number of Papers per Reviewer: 4

External Reviewers Involved: Yes