Crossmark

HyperPCTL Model Checking by Probabilistic Decomposition

Crossref DOI link: https://doi.org/10.1007/978-3-031-07727-2_12

Published Online: 2022-06-01

Published Print: 2022

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

Authors

Zaman, Eshita

Ciardo, Gianfranco

Ábrahám, Erika

Bonakdarpour, Borzoo
License Information

Text and Data Mining valid from 2022-01-01

Version of Record valid from 2022-01-01

Text and Data Mining valid from 2022-01-01

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

Chapter History

First Online: 1 June 2022

Conference Information

Conference Acronym: IFM

Conference Name: International Conference on Integrated Formal Methods

Conference City: Lugano

Conference Country: Switzerland

Conference Year: 2022

Conference Start Date: 7 June 2022

Conference End Date: 10 June 2022

Conference Number: 17

Conference ID: ifm2022

Conference URL: http://www.ifmconference.org/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 46

Number of Full Papers Accepted: 14

Number of Short Papers Accepted: 2

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

External Reviewers Involved: Yes

Additional Info on Review Process: Also includes: 1 abstract of an invited talk, 2 invited papers, 7 extended abstracts of presentations accepted at PhD symposium