Crossmark

A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems

Crossref DOI link: https://doi.org/10.1007/978-3-031-30823-9_1

Published Online: 2023-04-22

Published Print: 2023

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

Authors

Chatterjee, Krishnendu

Henzinger, Thomas A.

Lechner, Mathias

Žikelić, Đorđe
License Information

Text and Data Mining valid from 2023-01-01

Version of Record valid from 2023-04-22

Text and Data Mining valid from 2023-01-01

Version of Record valid from 2023-04-22
More Information

Chapter History

First Online: 22 April 2023

Conference Information

Conference Acronym: TACAS

Conference Name: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Conference City: Paris

Conference Country: France

Conference Year: 2023

Conference Start Date: 22 April 2023

Conference End Date: 27 April 2023

Conference Number: 29

Conference ID: tacas2023

Conference URL: https://etaps.org/2023/tacas

Peer Review Information (provided by the conference organizers)

Type: Double-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 169

Number of Full Papers Accepted: 56

Number of Short Papers Accepted: 6

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

External Reviewers Involved: Yes