Crossmark

Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems

Crossref DOI link: https://doi.org/10.1007/978-3-031-45329-8_15

Published Online: 2023-10-22

Published Print: 2023

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

Authors

Xu, Shengjie https://orcid.org/0000-0003-1784-1386
Ghosh, Bineet https://orcid.org/0000-0002-1371-2803
Hobbs, Clara https://orcid.org/0000-0001-6046-9511
Fraccaroli, Enrico https://orcid.org/0000-0002-9739-6501
Duggirala, Parasara Sridhar https://orcid.org/0000-0002-8871-0298
Chakraborty, Samarjit https://orcid.org/0000-0002-0503-6235
License Information

Text and Data Mining valid from 2023-01-01

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

Chapter History

First Online: 22 October 2023

Conference Information

Conference Acronym: ATVA

Conference Name: International Symposium on Automated Technology for Verification and Analysis

Conference City: Singapore

Conference Country: Singapore

Conference Year: 2023

Conference Start Date: 24 October 2023

Conference End Date: 27 October 2023

Conference Number: 21

Conference ID: atva2023

Conference URL: https://atva-conference.org/2023/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 115

Number of Full Papers Accepted: 30

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 26% - 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.05

Average Number of Papers per Reviewer: 9

External Reviewers Involved: Yes

Additional Info on Review Process: 7 tool papers

Document is current

Any future updates will be listed below