Crossmark

Statistical Model Checking for $$\textsf {P}$$

Crossref DOI link: https://doi.org/10.1007/978-3-031-43681-9_3

Published Online: 2023-09-17

Published Print: 2023

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Durán, Francisco

Pozas, Nicolás

Ramírez, Carlos

Rocha, Camilo
License Information

Text and Data Mining valid from 2023-01-01

Version of Record valid from 2023-01-01

Text and Data Mining valid from 2023-01-01

Version of Record valid from 2023-01-01
More Information

Chapter History

First Online: 17 September 2023

Conference Information

Conference Acronym: FMICS

Conference Name: International Conference on Formal Methods for Industrial Critical Systems

Conference City: Antwerp

Conference Country: Belgium

Conference Year: 2023

Conference Start Date: 20 September 2023

Conference End Date: 22 September 2023

Conference Number: 28

Conference ID: fmics2023

Conference URL: https://www.uantwerpen.be/en/conferences/confest-2023/fmics/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: easychair

Number of Submissions Sent for Review: 24

Number of Full Papers Accepted: 14

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 58% - 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

Average Number of Papers per Reviewer: 2,5

External Reviewers Involved: Yes