Crossmark

Formal Specification for Learning-Enabled Autonomous Systems

Crossref DOI link: https://doi.org/10.1007/978-3-031-21222-2_8

Published Online: 2022-12-16

Published Print: 2022

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

Authors

Bensalem, Saddek

Cheng, Chih-Hong

Huang, Xiaowei

Katsaros, Panagiotis

Molin, Adam

Nickovic, Dejan

Peled, Doron
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: 16 December 2022

Conference Information

Conference Acronym: FoMLAS

Conference Name: Workshop on Formal Methods for ML-Enabled Autonomous Systems

Conference City: Haifa

Conference Country: Israel

Conference Year: 2022

Conference Start Date: 31 July 2022

Conference End Date: 1 August 2022

Conference Number: 5

Conference ID: fomlas2022

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 8

Number of Full Papers Accepted: 8

Number of Short Papers Accepted: 0

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

Average Number of Papers per Reviewer: 2.5

External Reviewers Involved: No